Popular repositories Loading

1. Copilot Copilot Public

   A (Haskell DSL) stream language for generating hard real-time C code.

   Haskell 149 12

2. SmartCheck SmartCheck Public

   A Smarter QuickCheck

   TeX 102 2

3. theresistance theresistance Public

   Bayesian solver for The Resistance card game: https://en.wikipedia.org/wiki/The_Resistance_(game)

   Haskell 11 1

4. copilot-language copilot-language Public

   Forked from niswegmann/copilot-language

   Haskell 9 3

5. copilot-discussion copilot-discussion Public

   Forked from niswegmann/copilot-discussion

   TeX 8 2

6. atom atom Public

   Forked from tomahawkins/atom

   A DSL for embedded hard realtime applications.

   Haskell 7 1