{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"clash-compiler","owner":"clash-lang","isFork":false,"description":"Haskell to VHDL/Verilog/SystemVerilog compiler","topicNames":["asic","fpga","vhdl","verilog","systemverilog","hardware-description-language","haskell"],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":32,"issueCount":262,"starsCount":1376,"forksCount":147,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-05T18:08:44.866Z"}},{"type":"Public","name":"ghc-typelits-knownnat","owner":"clash-lang","isFork":false,"description":"Derive KnownNat constraints from other KnownNat constraints","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":1,"issueCount":4,"starsCount":14,"forksCount":10,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-29T20:47:15.833Z"}},{"type":"Public","name":"ghc-typelits-extra","owner":"clash-lang","isFork":false,"description":"Extra type-level operations on GHC.TypeLits.Nat and a custom solver","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":4,"issueCount":8,"starsCount":16,"forksCount":9,"license":"Other","participation":[0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,2,1,0,2],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-29T20:46:26.853Z"}},{"type":"Public","name":"ghc-typelits-natnormalise","owner":"clash-lang","isFork":false,"description":"Normalise GHC.TypeLits.Nat equations","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":1,"issueCount":12,"starsCount":42,"forksCount":14,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-29T20:45:59.651Z"}},{"type":"Public","name":"clash-protocols","owner":"clash-lang","isFork":false,"description":"a battery-included library for dataflow protocols","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":8,"issueCount":14,"starsCount":15,"forksCount":4,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-17T14:14:26.616Z"}},{"type":"Public","name":"clash-vexriscv","owner":"clash-lang","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Verilog","color":"#b2b7f8"},"pullRequestCount":1,"issueCount":2,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-11T10:05:28.457Z"}},{"type":"Public","name":"clash-starters","owner":"clash-lang","isFork":false,"description":"Projects to get started with Clash","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":22,"forksCount":5,"license":"Creative Commons Zero v1.0 Universal","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-12T08:11:50.806Z"}},{"type":"Public","name":"stack-templates","owner":"clash-lang","isFork":false,"description":"Templates for `stack new` command","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":2,"starsCount":3,"forksCount":1,"license":"Creative Commons Zero v1.0 Universal","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-12T07:33:51.646Z"}},{"type":"Public","name":"ghc-tcplugins-extra","owner":"clash-lang","isFork":false,"description":"Utilities for writing GHC type-checker plugins","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":1,"starsCount":10,"forksCount":8,"license":"Other","participation":[0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-10T14:19:26.487Z"}},{"type":"Public","name":"clash-lang.org","owner":"clash-lang","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":9,"issueCount":3,"starsCount":1,"forksCount":4,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-13T06:41:16.000Z"}},{"type":"Public","name":"clash-simulation-benchmarks","owner":"clash-lang","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-09-16T13:05:18.824Z"}},{"type":"Public","name":"clash-benchmark-results","owner":"clash-lang","isFork":false,"description":"Repository for storing Clash benchmark results","topicNames":[],"topicsNotShown":0,"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-07-13T17:11:30.832Z"}},{"type":"Public","name":"ghc-typelits-appendsymbol","owner":"clash-lang","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-06-30T16:29:36.028Z"}}],"repositoryCount":13,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"mirror","text":"Mirrors"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}