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-sbv

SBV backend for Copilot.

ivory-hoare-examples

Small pre/post examples in Ivory.