Explore projects
-
-
ANSI C data declaration module constructor: Datadec transforms a series of Haskell style recursive (or inductive) datatype declarations into a C module to implement them.
Updated -
-
Skeleton files for the True Concurrency Tutorial: Concurrent Sieve of Eratosthenes
Updated -
Skeleton files for the True Concurrency Tutorial: Concurrent Sieve of Eratosthenes
Updated -
Skeleton files for the True Concurrency Tutorial: Concurrent Sieve of Eratosthenes
Updated -
Skeleton files for the True Concurrency Tutorial: Concurrent Sieve of Eratosthenes
Updated -
-
Updated
-
-
Updated
-
Updated
-
Updated
-
Updated
-
Written in C, this is a tiny compiler for a miniscule Haskell subset (essentially, Int -> Int functions) to Dafny translator. So many C tools (Yacc, Lex, my datadec, generic modules etc) used, only about 20% of the code is human-written.
Updated -
A RC quadcopter flight controller for Arduino with an Android client
Updated