Similar repositories to input-output-hk/qeditas-ledgertheory:

• input-output-hk/qeditas-ledgertheory github similar
• gibiansky/IHaskell github similar
• aquynh/capstone github similar
• tuvtran/project-based-learning github similar
• tapeinosyne/idris-microKanren github similar
• input-output-hk/qeditas-cryptohash github similar
• input-output-hk/qeditas-egal github similar
• trillioneyes/idris-toys github similar
• GuglielmoS/sfidris github similar
• david-christiansen/Brainfun github similar
• danilkolikov/setoids github similar
• input-output-hk/cardano-ledger-high-assurance github similar
• rodrigogribeiro/idrisregexp github similar
• ziman/idris-bytes github similar
• fieldstrength/xquant github similar
• srdqty/talc-3.0 github similar
• input-output-hk/qeditas github similar
• danilkolikov/categories github similar
• aprolog-lang/aprolog github similar
• jfdm/idris-config github similar
• miniKanren/sokuza-kanren github similar
• ziman/idris-ocaml github similar
• ioanluca/real-world-idris github similar
• pa-ba/calc-comp github similar
• fieldstrength/probability github similar
• input-output-hk/mallet github similar
• idris-hackers/idris-posix github similar
• sbp/idris-bi github similar
• dbp/howtoproveacompiler github similar
• andrejbauer/dedekind-reals github similar
• david-christiansen/IdrisSqlite github similar
• uwplse/pumpkin-pi github similar
• melted/idris-chez github similar
• grin-compiler/idris-grin github similar
• input-output-hk/rscoin-haskell github similar
• imdea-software/htt github similar
• SimonJF/IdrisNet2 github similar
• MaiaVictor/ESCoC github similar
• ocharles/dhallql github similar
• idris-hackers/idris-crypto github similar