Similar repositories to danr/awe:
danr/awe
github
similar
danr/hip
github
similar
f-algebra/elea-phd
github
similar
cpa/haskellcontracts-examples
github
similar
xplat/agda-tactics
github
similar
adbrowne/dynamodb-eventstore
github
similar
corajr/heroku-buildpack-nix-proot
github
similar
GaloisInc/ICryptol
github
similar
tip-org/tools
github
similar
gregwebs/haskell-heroku
github
similar
JonasDuregard/testing-feat
github
similar
technogeeky/icfp12-paper-links
github
similar
pigworker/Saturday
github
similar
vindaloo-thesis/idris-se
github
similar
pedagand/MPRI-2.4-DTP
github
similar
pelotom/purescript-easy-ffi
github
similar
dobesv/charity
github
similar
tel/scala-tk
github
similar
danr/hipspec
github
similar
wouter-swierstra/Brainfuck
github
similar
Saizan/cubical-demo
github
similar
pedagand/typechecker-evolution
github
similar
spire/spire
github
similar
jstolarek/why-dependent-types-matter
github
similar
edwinb/EpiVM
github
similar
bendyworks/api-server
github
similar
jyp/nano-Agda
github
similar
copumpkin/categories
github
similar
edwinb/Protocols
github
similar
robrix/path
github
similar
willdonnelly/dyre
github
similar
mchakravarty/BigPixel
github
similar
ornicar/scalex
github
similar
zalora/upcast
github
similar
snowdriftcoop/snowdrift
github
similar
gallais/agdarsec
github
similar
hopper-lang/hopper-v0
github
similar
ilya-klyuchnikov/lambdapi
github
similar
pigworker/MetaprogAgda
github
similar
jonleivent/mindless-coding
github
similar