Similar repositories to edwinb/Vars:

• edwinb/Vars github similar
• gibiansky/IHaskell github similar
• lambdaxymox/idris-nanoparsec github similar
• gridaphobe/target github similar
• danistefanovic/build-your-own-x github similar
• aquynh/capstone github similar
• SimonJF/IdrisNet github similar
• jfdm/idris-testing github similar
• petercommand/ExtFieldComp github similar
• scott-fleischman/docker-agda github similar
• brezal/the-power-of-pi github similar
• shaunlebron/parinfer github similar
• wspk/SimpleTypes github similar
• ezrosent/TAPL-idris github similar
• ezrosent/FLK-Semantics github similar
• clarus/coq-atm github similar
• shlevy/cat-fiat github similar
• clayrat/idris-semidirect github similar
• edwinb/States github similar
• batterseapower/termination-combinators github similar
• jaredly/coqdocs github similar
• david-christiansen/idris-code-highlighter github similar
• raichoo/IdrisCSVExample github similar
• pigworker/PolyTest github similar
• lives-group/time-complexity-verification github similar
• benjaminselfridge/propcheck github similar
• arianvp/servis github similar
• wouter-swierstra/hbral 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
• pbogdan/nvs github similar
• howistart/howistart-hakyll github similar
• grebenyukaa/cmm-compiler-backend github similar
• mpickering/impure-hygienic-combinators github similar
• xSke/aoc15 github similar
• jonleivent/mindless-coding-phase2 github similar
• japesinator/Idris-Bifunctors github similar