Lee Pike's repositories
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.
copilot-cbmc
cbmc based tool for verifying copilot programs
copilot-c99
A C99-backend for Copilot
copilot-core
Intermediate representation for CoPilot. Strictly follows Haskell 2010 except for universal and existential quantification.
copilot-libraries
Copilot libraries that use the Copilot language
ivory-hoare-examples
Small pre/post examples in Ivory.
happy-plus-alex
Template for quickly and easily combining happy and alex
hs-ieee754
Approximate comparisons for IEEE floating point numbers in Haskell
ivory-backend-acl2
An Ivory to ACL2 compiler.
java_repos
java repos for trial event
liquidhaskell
Liquid Types For Haskell
nasa-affirm
Architectural Framework For Integrated Refinement Modeling
python_repos
Python repos for bugbust trial event
quickcheck
Automatic testing of Haskell programs. For reporting bugs, please use the mailing list, quickcheck@projects.haskell.org!
simple-spreadsheet-tools
Simple text-based spreadsheet tools