All Git Users → leepike

2 open source projects by leepike

[ Open user page on Github ]

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

✭ 138

A Smarter QuickCheck

✭ 98

1-2 of 2 user projects