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