Similar repositories to edwinb/Eff-new:

• edwinb/Eff-new github similar
• gibiansky/IHaskell github similar
• danistefanovic/build-your-own-x github similar
• david-christiansen/idris-utils github similar
• polasek/idris-scientific github similar
• reynir/Verified github similar
• sellout/Idris-CPDT github similar
• LeifW/online-typechecker github similar
• IanOrton/decomposing-univalence github similar
• ekmett/thrists github similar
• Ralith/quasigroup-completion github similar
• andrewthad/lens-prelude github similar
• kmein/telegram-ciphers github similar
• hecrj/iced github similar
• k6io/k6 github similar
• SimonJF/IdrisNet github similar
• idris-hackers/eff-tutorial github similar
• mgsloan/instance-templates github similar
• david-christiansen/helm-idris github similar
• kawu/dawg github similar
• david-christiansen/idris-quickcheck github similar
• dnaq/crypto-sodium github similar
• FranckS/RingIdris github similar
• fkettelhoit/agda-prelude github similar
• commandodev/purescript-nix github similar
• simonpj/haskellcontracts github similar
• smfactor/UnitsAsTypes github similar
• jfdm/idris-xml github similar
• ziman/text github similar
• edwinb/tactics-tutorial github similar
• SimonJF/IdrisNet2 github similar
• eval-so/frontend github similar
• relrod/tryidris-scala github similar
• jonsterling/Agda-Sheaves github similar
• dima-starosud/Dynamic github similar
• MaxOw/Idris-WebGL github similar
• scottish-pl-institute/scottish-pl-institute.github.io github similar
• KesterTong/idris-finite-math github similar
• andrevdm/annotateExec github similar
• kfish/const-math-ghc-plugin github similar