Similar repositories to discus-lang/salt:

• discus-lang/salt github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• meilisearch/MeiliSearch github similar
• pixijs/pixi.js github similar
• hecrj/iced github similar
• aquynh/capstone github similar
• k6io/k6 github similar
• RobertHarper/hott-notes github similar
• LightAndLight/cbpv github similar
• shaunlebron/parinfer github similar
• inanna-malick/hgit github similar
• adamgundry/type-inference github similar
• TOTBWF/tactic-haskell github similar
• ucsd-progsys/mist github similar
• evertedsphere/how-to-implement-dependent-type-theory github similar
• csabahruska/jhc-components github similar
• tuvtran/project-based-learning github similar
• tootsuite/mastodon github similar
• ezyang/compact github similar
• Bodigrim/poly github similar
• TOTBWF/muprl github similar
• dmjio/Julio github similar
• kpavery/System-Fo github similar
• jdreaver/amy github similar
• LightAndLight/parametricity-proofs github similar
• sweirich/tal github similar
• judah/pier github similar
• maybevoid/casimir github similar
• RyanGlScott/eliminators github similar
• osa1/StrictCore github similar
• effectfully/OTT github similar
• discus-lang/iron github similar
• neel-krishnaswami/linearml github similar
• andgate/type-theory-compiler github similar
• ekmett/concurrent github similar
• effectfully/Cubes github similar
• andorp/mini-grin github similar
• omelkonian/rewrite-inspector github similar
• robrix/path github similar