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