Similar repositories to eraserhd/Idris-book:

• eraserhd/Idris-book github similar
• pixijs/pixi.js github similar
• gibiansky/IHaskell github similar
• Eloston/ungoogled-chromium github similar
• hecrj/iced github similar
• tuvtran/project-based-learning github similar
• afcondon/puxws github similar
• laserpants/lambdapants github similar
• bgavran/Idris_Category_Theory github similar
• andorp/ArchaIdr github similar
• wyn/incremental github similar
• ayberkt/agda-brzozowski github similar
• mietek/coquand github similar
• redfish64/NomicCoin201710 github similar
• gallais/great-library-of-idris github similar
• simongregersen/DepSec github similar
• runKleisli/verified-integer-gaussian-elimination github similar
• Termina1/tlhydra github similar
• jDomantas/idris-wasm github similar
• EugeneN/pureGoL github similar
• silky/DanceView github similar
• ramsdell/agum github similar
• simonmar/ecosystem-proposals github similar
• ahmadsalim/desc-n-crunch github similar
• jonsterling/agda-effectful-forcing github similar
• texodus/ohml github similar
• purescript-deprecated/purescript-symbols github similar
• gallais/idris-tmustache github similar
• esapulkkinen/cifl-math-library github similar
• conal/calculating-compilers-agda github similar
• superhaNds/cwfs github similar
• border-patrol/lightclick github similar
• kritzcreek/okasaki github similar
• afcondon/purescript-d3-tagless github similar
• pigworker/Bi71 github similar
• maxsnew/virtual-equipments github similar
• MarcelineVQ/idris2-streaming github similar
• radusw/tagless-free-monix-sample github similar
• jdolson/univalence-from-scratch github similar
• ziman/ttstar github similar