Similar repositories to ix/Monado:
ix/Monado
github
similar
danistefanovic/build-your-own-x
github
similar
tootsuite/mastodon
github
similar
gibiansky/IHaskell
github
similar
hecrj/iced
github
similar
alexcrichton/cc-rs
github
similar
micahflee/onionshare
github
similar
blockstack/stacks
github
similar
pixijs/pixi.js
github
similar
aquynh/capstone
github
similar
nullgemm/ly
github
similar
meilisearch/MeiliSearch
github
similar
trillioneyes/idris-directory
github
similar
puffnfresh/puffyterm
github
similar
evanrinehart/lowgl
github
similar
ix/notewell
github
similar
relrod/socdiff
github
similar
divipp/lgtk
github
similar
archaeron/idris-fiamma
github
similar
athanclark/urlpath
github
similar
amutake/coq-extensible-effects
github
similar
edwinb/ConcIO
github
similar
conal/shaped-types
github
similar
Heather/Idris.Yaml
github
similar
AshyIsMe/lambdatwit
github
similar
justjoheinz/idris-httpclient
github
similar
stepcut/deckofcards
github
similar
andoriyu/uclicious
github
similar
ix/iikoto
github
similar
kardeiz/pathetic
github
similar
bricooke/cocoa-extensions
github
similar
sorellabs/siren0
github
similar
david-christiansen/idris-utils
github
similar
InitWare/CGrpFS
github
similar
steinuil/negoto-old-and-busted
github
similar
ix/pretty-ls
github
similar
jfdm/idris-xml
github
similar
thoughtpolice/claap
github
similar
ardeleanasm/qchas
github
similar
DankBSD/complexd
github
similar