FreeProving
This project's goal is to model non-strict languages with effects using free monads in Coq.
Kiel and Flensburg (Germany)
Pinned Repositories
call-by-preference
free-compiler
A Haskell to Coq compiler that represents effectful programs with the free monad
free-proving-code
Library to model effectful programs and prove properties about these programs in Coq
guidelines
Contributing guidelines that apply to all repositories of the FreeProving project
haskell-src-transformations
Transforms Haskell sources with definitions using pattern matching to case-expressions
language-coq
Coq AST and pretty-printer written in Haskell
project-landing-page
A responsive, Bootstrap landing page template created by Start Bootstrap
FreeProving's Repositories
FreeProving/free-compiler
A Haskell to Coq compiler that represents effectful programs with the free monad
FreeProving/free-proving-code
Library to model effectful programs and prove properties about these programs in Coq
FreeProving/language-coq
Coq AST and pretty-printer written in Haskell
FreeProving/call-by-preference
FreeProving/guidelines
Contributing guidelines that apply to all repositories of the FreeProving project
FreeProving/haskell-src-transformations
Transforms Haskell sources with definitions using pattern matching to case-expressions
FreeProving/project-landing-page
A responsive, Bootstrap landing page template created by Start Bootstrap