Similar repositories to Gradual-Typing/Grift:

• Gradual-Typing/Grift github similar
• danistefanovic/build-your-own-x github similar
• hecrj/iced github similar
• pixijs/pixi.js github similar
• tootsuite/mastodon github similar
• vishesh/racketscript github similar
• meilisearch/MeiliSearch github similar
• exaloop/codon github similar
• gibiansky/IHaskell github similar
• Eloston/ungoogled-chromium github similar
• julianhyde/morel github similar
• bkomuves/nanohs github similar
• ubuntu/microk8s github similar
• juxt/crux github similar
• andrejbauer/coop github similar
• groupoid/anders github similar
• mmcqd/datatt github similar
• tuvtran/project-based-learning github similar
• ranjitjhala/sprite-lang github similar
• aquynh/capstone github similar
• k6io/k6 github similar
• jart/blink github similar
• neel-krishnaswami/inverse-bidirectional-typechecking github similar
• paulstansifer/unseemly github similar
• AndrasKovacs/staged github similar
• shaunlebron/parinfer github similar
• lezer-parser/lezer github similar
• RobertHarper/TILT-Compiler github similar
• samth/gradual-typing-bib github similar
• TOTBWF/muprl github similar
• owo-lang/voile-rs github similar
• samuela/bidirectional-typing github similar
• LPTK/simpler-sub github similar
• elpinal/subtyping-agda github similar
• iu-parfunc/gibbon github similar
• stchang/macrotypes github similar
• xnning/Row-and-Bounded-via-Disjoint github similar
• ollef/sixty github similar
• racket/redex github similar
• gfngfn/toy-macro-ml github similar