Lee Pike

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

SmartCheck. A Smarter QuickCheck

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

copilot-language. Haskell

copilot-discussion. TeX

atom. A DSL for embedded hard realtime applications.

copilot-sbv. SBV backend for Copilot.

copilot-cbmc. cbmc based tool for verifying copilot programs

copilot-core. Intermediate representation for CoPilot. Strictly follows Haskell 2010 except for universal and existential quantification.

sbv. Symbolic Bit Vectors in Haskell. Express properties about bit-precise Haskell programs and automatically prove them using SMT solvers.

copilot-c99. A C99-backend for Copilot

copilot-libraries. Copilot libraries that use the Copilot language

ivory-hoare-examples. Small pre/post examples in Ivory.