{"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-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":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-10T14:19:26.487Z"}},{"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":9,"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"}