Similar repositories to jmitchell/idris-elixir:

• jmitchell/idris-elixir github similar
• danistefanovic/build-your-own-x github similar
• pixijs/pixi.js github similar
• hecrj/iced github similar
• Eloston/ungoogled-chromium github similar
• meilisearch/MeiliSearch github similar
• ReactTraining/react-router github similar
• postalhq/postal github similar
• GamestonkTerminal/GamestonkTerminal github similar
• tootsuite/mastodon github similar
• aquynh/capstone github similar
• shaunlebron/parinfer github similar
• ahmadsalim/desc-n-crunch github similar
• rbarreiro/idrisjs github similar
• RyanGlScott/levitation github similar
• shmish111/smoke-hill github similar
• bgavran/DependentOpticsIdris2 github similar
• jmars/Records github similar
• SimonJF/IdrisNet github similar
• jfdm/idris-testing github similar
• motemen/gore github similar
• ubuntu/microk8s github similar
• edx/edx-platform github similar
• k6io/k6 github similar
• blockstack/stacks github similar
• fritzlabs/Awesome-Mobile-Machine-Learning github similar
• juxt/crux github similar
• baisong/yesod-examples github similar
• lilbro1719/reimagined-system github similar
• ChrisPenner/purescript-flow github similar
• tonymorris/trees-that-grow github similar
• myuon/quartz github similar
• ahmadsalim/well-typed-agda-interpreter github similar
• gergoerdi/icfp-bingo-2017-idris github similar
• david-christiansen/derive-all-the-instances github similar
• bgoodspeed/idris-misc github similar
• bgoodspeed/idris-strings github similar
• ziman/idris-ocaml github similar
• thalerjonathan/gloss-idris github similar
• jutaro/YCombinator github similar