Similar repositories to jaredloomis/Idris-HoTT:

• jaredloomis/Idris-HoTT github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• tootsuite/mastodon github similar
• precog/quasar github similar
• hecrj/iced github similar
• pixijs/pixi.js github similar
• fieldstrength/xquant github similar
• trillioneyes/idris-directory github similar
• RobertHarper/hott-notes github similar
• pbl64k/gpif-idris github similar
• puffnfresh/puffyterm github similar
• relrod/socdiff github similar
• Heather/Control.Eternal.Idris github similar
• ChrisBlom/Signs github similar
• FranckS/RingIdris github similar
• japesinator/Idris-Bifunctors github similar
• snowleopard/graph-algebra github similar
• thautwarm/HigherKindedPolymorphisms.jl github similar
• ezyang/HoTT-coqex github similar
• edwinb/ConcIO github similar
• laughedelic/sublime-idris github similar
• conal/shaped-types github similar
• AshyIsMe/lambdatwit github similar
• justjoheinz/idris-httpclient github similar
• idris-hackers/idris-free github similar
• david-christiansen/idris-utils github similar
• Heather/Idris.Yaml github similar
• jdoughertyii/hott-species github similar
• orca-lang/orca github similar
• sorellabs/siren0 github similar
• ekmett/integration github similar
• idris-hackers/idris-bot github similar
• gmalecha/template-coq github similar
• mnieper/gravity github similar
• jfdm/idris-xml github similar
• thoughtpolice/claap github similar
• jonsterling/constructive-sheaf-semantics github similar
• qnikst/numeric-ode github similar
• jaspervdj/acme-cofunctor github similar