Similar repositories to robsimmons/agda-lib:

• robsimmons/agda-lib github similar
• precog/quasar github similar
• blockstack/stacks github similar
• danistefanovic/build-your-own-x github similar
• robsimmons/toy github similar
• stephanadls/state-dependent-gui github similar
• davidlazar/utm github similar
• robsimmons/l10 github similar
• haskell-infra/cloudflare github similar
• lukerandall/snap-web-routes github similar
• jpt4/skio github similar
• np/names-for-free github similar
• davidlazar/PCPL github similar
• pera/ad-hoc github similar
• pigworker/LibAgda github similar
• zick/ImplOfR6RSAppA github similar
• pigworker/WhatRTypes4 github similar
• benmos/HLevy github similar
• paf31/Embedding-a-Full-Linear-Lambda-Calculus-in-Haskell github similar
• mitchellwrosen/dohaskell github similar
• mclumd/Meta-AQUA github similar
• idris-hackers/idris-bot github similar
• parsonsmatt/lambda github similar
• clf/ollibot github similar
• inc-lc/ilc-agda github similar
• osa1/psc-lua github similar
• robsimmons/levy github similar
• aliceml/aliceml-alice github similar
• pigworker/Vole github similar
• effectfully/random-stuff github similar
• larrytheliquid/leveling-up github similar
• bobatkey/sorting-types github similar
• agda/ooAgda github similar
• quchen/amoeba github similar
• robsimmons/functioning github similar
• gallais/type-scope-semantics github similar
• JacquesCarette/pi-dual github similar
• divipp/frp_agda github similar
• tweag/network-transport-zeromq github similar
• ezyang/lr-agda github similar