Similar repositories to fkettelhoit/agda-prelude:

• fkettelhoit/agda-prelude github similar
• Blaisorblade/evalFromToAbsMachines github similar
• edwinb/Eff-new github similar
• zerobuzz/configifier github similar
• keigoi/coq4ios github similar
• jwiegley/simple-conduit github similar
• ericfinster/orchard github similar
• tmishima/Hinecraft github similar
• david-christiansen/epigram1 github similar
• crypto-agda/crypto-agda github similar
• haskell-suite/haskell-names github similar
• tomlokhorst/AwesomePrelude github similar
• david-christiansen/idris-quickcheck github similar
• bobatkey/sott github similar
• ocharles/hadoom github similar
• edwinb/Protocols github similar
• david-christiansen/idris-type-providers github similar
• idris-lang/idris-tutorial github similar
• timjb/quantities github similar
• idris-hackers/IdrisWeb github similar
• andrejbauer/marshall github similar
• ilya-klyuchnikov/ttlite github similar
• joom/hezarfen github similar
• simonmar/monad-par github similar
• larrytheliquid/Lemmachine github similar
• GU-CLASP/TypedFlow github similar
• the-lambda-church/coquille github similar
• ermine-language/ermine github similar
• aristidb/aws github similar
• frank-lang/frank github similar
• ziman/lightyear github similar
• seliopou/typo github similar
• stedolan/malfunction github similar
• jepst/CloudHaskell github similar
• haskell-numerics/hmatrix github similar
• HoTT/HoTT-Agda github similar
• idris-hackers/software-foundations github similar
• gelisam/frp-zoo github similar
• agda/agda-stdlib github similar
• projectional-haskell/structured-haskell-mode github similar