2 open source projects by LeventErkok

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

Control your Arduino board from Haskell, using the Firmata protocol