Similar repositories to githwxi/ATS-Xanadu:
githwxi/ATS-Xanadu
github
similar
danistefanovic/build-your-own-x
github
similar
githwxi/ATS-Postiats
github
similar
tootsuite/mastodon
github
similar
ats-lang/ATS-CodeBook
github
similar
hecrj/iced
github
similar
gibiansky/IHaskell
github
similar
meilisearch/MeiliSearch
github
similar
vmchale/atspkg
github
similar
githwxi/ATS-Temptory
github
similar
vmchale/polyglot
github
similar
tuvtran/project-based-learning
github
similar
fpiot/arduino-ats
github
similar
pixijs/pixi.js
github
similar
Eloston/ungoogled-chromium
github
similar
sparverius/ats-acc
github
similar
ollef/sixty
github
similar
githwxi/ATS-Postiats-contrib
github
similar
RobertHarper/hott-notes
github
similar
grin-compiler/ghc-whole-program-compiler-project
github
similar
chriskempson/base16
github
similar
gallettilance/magnificATS
github
similar
Hibou57/PostiATS-Utilities
github
similar
granule-project/granule
github
similar
shaunlebron/parinfer
github
similar
xanadu-lang/xanadu
github
similar
Deducteam/lambdapi
github
similar
edwinb/idris2-vim
github
similar
AndrasKovacs/smalltt
github
similar
discus-lang/iron
github
similar
cedille/cedille
github
similar
austral/austral
github
similar
Russoul/Idris2-Effect
github
similar
granule-project/gerty
github
similar
vehicle-lang/vehicle
github
similar
ranjitjhala/sprite-lang
github
similar
aquynh/capstone
github
similar
alexcrichton/cc-rs
github
similar
motemen/gore
github
similar
discus-lang/salt
github
similar