Similar repositories to rbarreiro/idrisjs:
rbarreiro/idrisjs
github
similar
danistefanovic/build-your-own-x
github
similar
pixijs/pixi.js
github
similar
hecrj/iced
github
similar
tootsuite/mastodon
github
similar
ReactTraining/react-router
github
similar
k6io/k6
github
similar
gibiansky/IHaskell
github
similar
jmitchell/idris-elixir
github
similar
david-christiansen/derive-all-the-instances
github
similar
idris-hackers/IdrisScript
github
similar
be5invis/idris-codegen-es
github
similar
jfdm/idris-containers
github
similar
uwap/idris-http
github
similar
GamestonkTerminal/GamestonkTerminal
github
similar
gallais/idris-tparsec
github
similar
SPY/idris-codegen-wasm
github
similar
edwinb/States
github
similar
vmchale/permutations
github
similar
gergoerdi/icfp-bingo-2017-idris
github
similar
gonzaw/extensible-records
github
similar
idream-build/idream
github
similar
RobertHarper/hott-notes
github
similar
clayrat/idris-linear
github
similar
david-christiansen/idris-type-providers
github
similar
idris-hackers/idris-free
github
similar
Eugeny/terminus
github
similar
Eloston/ungoogled-chromium
github
similar
motemen/gore
github
similar
ronami/HypeScript
github
similar
tuvtran/project-based-learning
github
similar
MarcelineVQ/idris2-streaming
github
similar
david-christiansen/IdrisSqlite
github
similar
google/idris-protobuf
github
similar
idris-hackers/idris-llvm
github
similar
Trundle/idris-go
github
similar
stedolan/idris-malfunction
github
similar
lambda-11235/FarRP
github
similar
rintcius/purescript-aui
github
similar
ziman/ttstar
github
similar