Similar repositories to ziman/idris-ocaml:

• ziman/idris-ocaml github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• ziman/idris-scheme github similar
• aquynh/capstone github similar
• ReactTraining/react-router github similar
• motemen/gore github similar
• Eloston/ungoogled-chromium github similar
• ziman/idris-bytes github similar
• tootsuite/mastodon github similar
• danilkolikov/categories github similar
• fsestini/tt-in-cubical github similar
• RobertHarper/hott-notes github similar
• rbarreiro/ifui github similar
• mstksg/lens-typelevel github similar
• GuglielmoS/sfidris github similar
• fpco/fuzzcheck github similar
• mstksg/conduino github similar
• edwinb/States github similar
• jmitchell/idris-elixir github similar
• robrix/Manifold github similar
• jacobstanley/transformers-bifunctors github similar
• jgm/hscommonmark github similar
• spell-music/data-fix github similar
• david-christiansen/IdrisSqlite github similar
• rodrigogribeiro/idrisregexp github similar
• grin-compiler/agda-grin github similar
• konn/sized github similar
• SimonJF/IdrisNet github similar
• jDomantas/idris-wasm github similar
• goldfirere/triptych github similar
• FranckS/RingIdris github similar
• idris-hackers/usb github similar
• edwinb/WS-idr github similar
• ziman/itt-idris github similar
• thalerjonathan/gloss-idris github similar
• idream-build/idream github similar
• coot/heyting-algebras github similar
• stedolan/idris-malfunction github similar
• jdukes/csharp-shell-mode github similar