Similar repositories to newca12/haskell-atp:

• newca12/haskell-atp github similar
• jonsterling/twelf-itt github similar
• tlcsrc/tlcsrc.github.io github similar
• pixijs/pixi.js github similar
• danistefanovic/build-your-own-x github similar
• jozefg/hlf github similar
• relrod/tryidris-android github similar
• paf31/lambdaconf github similar
• serras/4languages github similar
• ahmadsalim/well-typed-agda-interpreter github similar
• zilberstein/system-fc-coq github similar
• avsm/Ivor github similar
• idris-hackers/idris-bot github similar
• domdere/fp-in-idris github similar
• jonsterling/hs-abt github similar
• ekmett/homotopy github similar
• spacekitteh/haskell-clifford github similar
• ermine-language/ermine-legacy github similar
• nsaunders/trout-demo github similar
• ermine-language/ermine-scala-core github similar
• RobertHarper/hott-notes github similar
• UnkindPartition/prover github similar
• pigworker/Totality github similar
• RobertHarper/hott-materials github similar
• edwinb/Ivor github similar
• idris-hackers/idrispkgs github similar
• kellino/microML github similar
• BekaValentine/SimpleFP github similar
• rtoy/cmucl github similar
• msp-strath/ZEUG github similar
• tonymorris/parametricity github similar
• camllight/camllight github similar
• joom/WangsAlgorithm github similar
• SMLFamily/SMLFamily.github.io github similar
• idris-hackers/iQuery github similar
• puffnfresh/bam-idris-blog github similar
• sweirich/replib github similar
• SMLFamily/The-Mechanization-of-Standard-ML github similar
• RobertHarper/TILT-Compiler github similar
• unicoq/unicoq github similar