FreeProving/free-compiler
A Haskell to Coq compiler that represents effectful programs with the free monad
HaskellBSD-3-Clause
Stargazers
- 553224019
- AcentellesLondon
- AD1024@PrincetonUniversity
- AleXoundOSTbilisi, Georgia
- anqurvanillapy@Shopee
- avesturaSagittarius A*, Milky Way
- beike-zh
- bolt12@well-typed
- clayratIMDEA Software
- cpresseyOffice... submarine!
- csabahruskaLondon
- cyberglotGlasgow, UK
- fwcdKiel University
- herberteulerBurnaby, BC, Canada
- JonasHoeferGothenburg, Sweden
- joom@Bloomberg
- jupdikeLos Angeles, CA
- just95Cap3 GmbH
- langston-barrett@GaloisInc
- matsubara0507mixi, inc.
- matthesjhCap3 GmbH (@cap3)
- MesablooFrance
- mrsekutOsaka
- paulcadmanLondon
- pedrotstIndiana, USA
- philzook58Draper
- quewean
- rajikaimalNN
- relrodRed Hat, Inc.
- sirinathSakrio!
- takoeight0821
- TerrorJack@tweag
- tkersey@thisisartium
- vyorkin@zeriontech
- xlxs4EMTech Space
- zjhmale