Similar repositories to ezrosent/TAPL-idris:
ReactTraining/react-router
github
similar
ezrosent/FLK-Semantics
github
similar
ezrosent/TAPL-idris
github
similar
sayon/coq-cata
github
similar
scott-fleischman/docker-agda
github
similar
brezal/the-power-of-pi
github
similar
jaredly/coqdocs
github
similar
lives-group/time-complexity-verification
github
similar
wspk/SimpleTypes
github
similar
clarus/coq-atm
github
similar
clayrat/idris-semidirect
github
similar
LogicTypesPrograms/LogicTypesPrograms
github
similar
lambdaxymox/idris-nanoparsec
github
similar
ct-gradual-typing/Papers
github
similar
jozefg/fibrational-semantics
github
similar
iu-parfunc/popl18-lh-prover-artifact
github
similar
KolodeznyDiver/THEff
github
similar
hjwylde/language-qux
github
similar
ct-gradual-typing/Grady
github
similar
scott-fleischman/agda-travis
github
similar
epilys/ocaml-prolog
github
similar
matterhorn-chat/aspell-pipe
github
similar
pigworker/BiF
github
similar
RyanGlScott/levitation
github
similar
msprotz/proof-search-monad
github
similar
jonsterling/itt-bidirectional
github
similar
dorchard/coeffects-experiments
github
similar
yairchu/red-black-tree
github
similar
vmchale/ats-benchmarks
github
similar
howistart/howistart-hakyll
github
similar
grebenyukaa/cmm-compiler-backend
github
similar
mpickering/impure-hygienic-combinators
github
similar
wimmers/munta
github
similar
tchajed/coq-io
github
similar
jerbaroo/disco
github
similar
SimonJF/IdrisNet
github
similar
LenguajeJulia/Taller-Julia
github
similar
pigworker/Ohrid-Agda
github
similar
lepoetemaudit/alpaca-repl
github
similar
EarthCitizen/escape-artist
github
similar