Pinned

1. bittide/bittide-hardware bittide/bittide-hardware Public

   Haskell 15 1

2. reactive-systems/Syntroids reactive-systems/Syntroids Public

   A game synthesized for FPGAs from Temporal Stream Logic

   Haskell 2

3. reactive-systems/tsltools reactive-systems/tsltools Public

   Library and tools for the TSL specification format

   Haskell 8 8

4. reactive-systems/syfco reactive-systems/syfco Public

   Synthesis Format Conversion Tool

   Haskell 23 11

5. reactive-systems/icedude reactive-systems/icedude Public

   A programming tool for the iCE40 FPGA evaluation boards.

   Haskell 11 1

6. finite finite Public

   Haskell library for finite ranges via types

   Haskell 1