Similar repositories to crypto-agda/protocols:

• crypto-agda/protocols github similar
• shaunlebron/parinfer github similar
• effectfully/blog github similar
• clayrat/idris-trees github similar
• theoremprover-museum/imps github similar
• pigworker/BiF github similar
• gallais/agdARGS github similar
• pigworker/LibAgda github similar
• HaskellMN/www.haskellmn.org github similar
• pigworker/Ohrid-Agda github similar
• ahmadsalim/desc-n-crunch github similar
• ahmadsalim/well-typed-agda-interpreter github similar
• mistupv/rev-erlang github similar
• Blaisorblade/Agda-playground github similar
• Saizan/parametric-demo github similar
• sto0pkid/CategoryTheory github similar
• clayrat/idris-linear github similar
• jmchapman/Big-step-Normalisation github similar
• devaspot/charity github similar
• gallais/typing-with-leftovers github similar
• effectfully/random-stuff github similar
• larrytheliquid/leveling-up github similar
• AndrasKovacs/stlc-nbe github similar
• effectfully/Cubes github similar
• ChristopherBiscardi/snap-for-beginners github similar
• agda/ooAgda github similar
• theoremprover-museum/LCF77 github similar
• HoTT/M-types github similar
• jmchapman/Relative-Monads github similar
• jaspervdj/cabal-dependency-licenses github similar
• effectfully/STLC github similar
• pigworker/Bi71 github similar
• idris-hackers/idris-sublime github similar
• google/idris-protobuf github similar
• pigworker/Saturday github similar
• serokell/foundry github similar
• BekaValentine/SimpleFP github similar
• nponeccop/n2o.hs github similar
• pigworker/Pivotal github similar
• sequents/code github similar