Similar repositories to mietek/nbe-correctness:

• danistefanovic/build-your-own-x github similar
• mietek/nbe-correctness github similar
• justjoheinz/idris-httpclient github similar
• hephaestus-pl/coqfj github similar
• gbaz/mess github similar
• gallais/typing-with-leftovers github similar
• cohomolo-gy/homotopy-type-theory-notes github similar
• QuickChick/Luck github similar
• TOTBWF/muprl github similar
• pigworker/shonky github similar
• uwap/idris-http github similar
• jozefg/miniprl github similar
• mietek/idris-bash github similar
• spire/spire github similar
• pigworker/CS410-14 github similar
• mikeshulman/catlog github similar
• vincenthz/language-java github similar
• MateVM/MateVM github similar
• cmcl/frankjnr github similar
• idris-hackers/idris-llvm github similar
• purescript-deprecated/purescript-lens github similar
• idris-hackers/IdrisScript github similar
• gasche/popl2018-papers github similar
• cemeyer/httpd.sh github similar
• slamdata/truffled-purescript github similar
• TheoWinterhalter/formal-type-theory github similar
• gasche/icfp2016-papers github similar
• hopper-lang/hopper-v0 github similar
• gasche/popl2017-papers github similar
• commandodev/oHm github similar
• KMahoney/squee github similar
• jonsterling/JonPRL github similar
• pigworker/MetaprogAgda github similar
• np/ling github similar
• ekmett/bound github similar
• dapphub/hevm github similar
• leanprover/lean2 github similar
• imeckler/mote github similar
• mit-plv/kami github similar
• idris-hackers/idris-crypto github similar