Similar repositories to fferreira/ICFP2012:

• fferreira/ICFP2012 github similar
• tel/intone github similar
• si14/z_validate github similar
• bobatkey/sorting-types github similar
• bitonic/tog github similar
• dorchard/effects-as-sessions github similar
• msp-strath/ZEUG github similar
• wilbowma/cic-redex github similar
• LaifsV1/YUP github similar
• wenkokke/AutoInAgda github similar
• pigworker/Samizdat github similar
• anuyts/agda-sessions github similar
• jespercockx/ataca github similar
• pigworker/so-pigworker github similar
• david-christiansen/epigram1 github similar
• pedagand/typechecker-evolution github similar
• sstucki/system-f-agda github similar
• mikeshulman/catlog github similar
• bobatkey/sott github similar
• abella-prover/abella github similar
• dpp/LispHaskellIPad github similar
• esl/gproc github similar
• pigworker/MetaprogAgda github similar
• jozefg/nbe-for-mltt github similar
• jozefg/blott github similar
• mwkm/atoMeow github similar
• mazenharake/cecho github similar
• jtendo/binpp github similar
• jloughry/BANCStar github similar
• Yuras/pdf-toolbox github similar
• helium/plumtree github similar
• idris-hackers/idris-demos github similar
• joearms/elib1 github similar
• RedPRL/sml-redprl github similar
• pigworker/CS410-17 github similar
• MichaelXavier/Angel github similar
• ninenines/bullet github similar
• ollef/Earley github similar
• jepst/CloudHaskell github similar
• FormalTheology/GoedelGod github similar