Similar repositories to ivanbakel/hout-prover:

• ivanbakel/hout-prover github similar
• gibiansky/IHaskell github similar
• danistefanovic/build-your-own-x github similar
• pixijs/pixi.js github similar
• inanna-malick/hgit github similar
• nokijp/pietc github similar
• dpiponi/infinite-quine github similar
• aionescu/oplang github similar
• sarahzrf/minelang github similar
• nulvinge/Linear-Abstract-Machine github similar
• mpickering/hashtag-coerce github similar
• mb64/simple-lambda-prolog github similar
• haskell-vanguard/haskell-vanguard github similar
• RyanGlScott/eliminators github similar
• andrewthad/primitive-indexed github similar
• michaelpj/hsmods-logic github similar
• ibrahimsag/rw github similar
• Bodigrim/mod github similar
• Boarders/perfect-vector-shuffle github similar
• Skyb0rg007/Optix github similar
• Bodigrim/poly github similar
• viercc/coercible-subtypes github similar
• john-ml/pi-calculus github similar
• blarney-lang/actora github similar
• kaeluka/sequentc github similar
• yoelmatveyev/Izhora github similar
• jwiegley/constructive-ltl github similar
• LightAndLight/cbpv github similar
• juhp/hkgr github similar
• cocreature/robinhood github similar
• adamwespiser/analytics github similar
• HaskellEmbedded/data-stm32 github similar
• isovector/wheatley github similar
• Grinshpon/lambox github similar
• flipstone/kioku github similar
• prikhi/stack-templatizer github similar
• meta-logic/sequoia github similar
• julianhyde/morel github similar
• svobot/janus github similar
• yav/presburger github similar