Similar repositories to edwinb/ConcProc:

• edwinb/ConcProc github similar
• idris-hackers/usb github similar
• ziman/idris-benchmarks github similar
• FranckS/RingIdris github similar
• BekaValentine/SimpleFP github similar
• puffnfresh/crosscheck github similar
• edwinb/WS-idr github similar
• idris-hackers/idris-posix github similar
• joom/WangsAlgorithm github similar
• edwinb/States github similar
• idris-lang/idris-emptycg github similar
• jfdm/idris-containers github similar
• amintimany/Categories github similar
• type-theory/learn-tt github similar
• HarvardPL/shill github similar
• BekaValentine/SimpleFP-v2 github similar
• yallop/icfp2014-papers github similar
• bamboo/idris-cil github similar
• sweirich/tal github similar
• simhu/cubical github similar
• idris-hackers/idris-demos github similar
• GrammaticalFramework/GF github similar
• wilbowma/cur github similar
• mit-pdos/fscq github similar
• RedPRL/sml-redprl github similar
• helium/airship github similar
• larsbrinkhoff/lbForth github similar
• the-little-prover/j-bob github similar
• nanopass/nanopass-framework-scheme github similar
• sweirich/pi-forall github similar
• chrisdone/hell github similar
• Gabriel439/Haskell-Pipes-Library github similar
• BNFC/bnfc github similar
• mortberg/cubicaltt github similar
• HOL-Theorem-Prover/HOL github similar
• uwplse/verdi github similar
• michaelt/martin-lof github similar
• viskell/viskell github similar
• cvc5/cvc5 github similar
• UniMath/UniMath github similar