#
Starred repositories
6
stars
written in Haskell
Clear filter
Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Haskell 101 and 102: slides and codelabs
Crucible is a library for symbolic simulation of imperative programs
Haskell code associated to the "Testing Noninterference, Quickly" paper. The associated Coq proofs are in a separate repository: https://github.com/QuickChick/IFC