Similar repositories to oisdk/verified-avl:

• oisdk/verified-avl github similar
• davidfstr/idris-insertion-sort github similar
• i-am-tom/LICK github similar
• david-christiansen/IdrisAtGalois2015 github similar
• bor0/gidti github similar
• gallais/idris-tparsec github similar
• david-christiansen/pie-hs github similar
• lexi-lambda/freer-simple github similar
• goldfirere/singletons github similar
• haskell/containers github similar
• recursion-schemes/recursion-schemes github similar
• glebec/lambda-talk github similar
• idris-hackers/software-foundations github similar
• agda/agda-stdlib github similar
• cohomolo-gy/haskell-resources github similar
• i-am-tom/haskell-exercises github similar
• the-little-typer/pie github similar
• kowainik/relude github similar
• fsprojects/FSharpPlus github similar
• precog/matryoshka github similar
• winitzki/sofp github similar
• ndmitchell/hlint github similar
• yegor256/tacit github similar
• sdiehl/write-you-a-haskell github similar
• koka-lang/koka github similar
• elm/core github similar
• ghc/ghc github similar
• idris-lang/Idris-dev github similar
• system-f/fp-course github similar
• unisonweb/unison github similar
• lampepfl/dotty github similar
• purcell/emacs.d github similar
• elm/compiler github similar
• github/semantic github similar
• hmemcpy/milewski-ctfp-pdf github similar
• reasonml/reason github similar
• dotnet/roslyn github similar
• papers-we-love/papers-we-love github similar
• rust-lang/rust github similar
• golang/go github similar