Similar repositories to fieldstrength/xquant:

• fieldstrength/xquant github similar
• gibiansky/IHaskell github similar
• danistefanovic/build-your-own-x github similar
• gmalecha/coq-markov github similar
• aquynh/capstone github similar
• QuickChick/IFC github similar
• hzelenka/idris-proofs github similar
• esopsis/English-Dictionary-to-Code github similar
• vmchale/composition github similar
• jmchapman/restriction-categories github similar
• robdockins/domains github similar
• trillioneyes/idris-canvas github similar
• tapeinosyne/idris-microKanren github similar
• input-output-hk/qeditas-ledgertheory github similar
• trillioneyes/idris-toys github similar
• GuglielmoS/sfidris github similar
• danilkolikov/setoids github similar
• david-christiansen/Brainfun github similar
• cassiebaer/ucph-msc-thesis-dpdt github similar
• jespercockx/tensors github similar
• QuentinDuval/IdrisPipes github similar
• jheiling/idris-electron github similar
• kb1dds/simplicialHomology github similar
• mcgordonite/idris-binary-rationals github similar
• dmurfet/deeplinearlogic github similar
• jaredloomis/Idris-HoTT github similar
• rodrigogribeiro/idrisregexp github similar
• writeoncereadmany/idris-dimensions github similar
• chasenorman/Formalized-Voting github similar
• FranckS/RingIdris github similar
• balningau/gimste github similar
• fieldstrength/probability github similar
• ekmett/foreign-var github similar
• benmos/HLevy github similar
• ziman/idris-bytes github similar
• grwlf/cake3 github similar
• umazalakain/fyp github similar
• strub/elliptic-curves-ssr github similar
• gmalecha/template-coq github similar
• nicolabotta/SeqDecProbs github similar