Similar repositories to xanadu-lang/xanadu:

• xanadu-lang/xanadu github similar
• danistefanovic/build-your-own-x github similar
• xanadu-lang/xinterp github similar
• aquynh/capstone github similar
• tootsuite/mastodon github similar
• hecrj/iced github similar
• meilisearch/MeiliSearch github similar
• tuvtran/project-based-learning github similar
• cdornan/hs github similar
• YouTakaoka/Topos github similar
• steinwaywhw/ats-sessions github similar
• githwxi/ATS-Temptory github similar
• ChrisPenner/purescript-flow github similar
• pixijs/pixi.js github similar
• tonymorris/trees-that-grow github similar
• myuon/quartz github similar
• postalhq/postal github similar
• plt-hokusai/ahc github similar
• NetchX/Netch github similar
• Eloston/ungoogled-chromium github similar
• bendy/DenotationalSemantics github similar
• oragono/oragono github similar
• JonathanLorimer/tdd-with-idris2 github similar
• WolfEngine/Wolf.Engine github similar
• mmhelloworld/Idris2-boot github similar
• jespercockx/popl19-tutorial github similar
• Icelandjack/blockchain github similar
• tonyday567/formatn github similar
• dayton-outar/smpl github similar
• QcO-dev/fox github similar
• sehnsucht13/zai-pl github similar
• Pokesi/hammerhead github similar
• ObserveOfMath/SCLang github similar
• matthew-healy/ei-lang github similar
• ioanluca/real-world-idris github similar
• samer--/cpsmemo github similar
• moon-chilled/ats-freestanding github similar
• effectfully/Categories github similar
• effectfully/Ouroboros github similar
• aspiwack/haskell-ann github similar