Similar repositories to samskivert/bidir-scala:

• samskivert/bidir-scala github similar
• danistefanovic/build-your-own-x github similar
• tootsuite/mastodon github similar
• hecrj/iced github similar
• thehandsomepanther/system-f github similar
• fluffynukeit/scbt github similar
• groupoid/anders github similar
• samuela/bidirectional-typing github similar
• kwanghoon/bidi github similar
• chebert/software-design-for-flexibility github similar
• gernst/korn github similar
• Soldat/soldat github similar
• neel-krishnaswami/inverse-bidirectional-typechecking github similar
• pixijs/pixi.js github similar
• gibiansky/IHaskell github similar
• tuvtran/project-based-learning github similar
• julianhyde/morel github similar
• xnning/Row-and-Bounded-via-Disjoint github similar
• bedrocksystems/cpp2v github similar
• meilisearch/MeiliSearch github similar
• raptazure/kweh github similar
• yzyzsun/truffle-erlang github similar
• pdarragh/variadic-curry-calculus github similar
• qdwang/eopl github similar
• jclark/semtype github similar
• stchang/mlish github similar
• seanhinde/rebar3_caramel github similar
• pnwamk/sst-tutorial github similar
• matt77hias/EOPL github similar
• rodrigogribeiro/tapl-redex github similar
• owo-lang/MLPolyR github similar
• wlitwin/RaytracingInOneWeekend github similar
• pnwamk/pldi16-artifact github similar
• JimmyZJX/TypingFormalization github similar
• bixuanzju/phd-thesis-artifact github similar
• curiousyogurt/turing github similar
• soren-n/bidi-higher-rank-poly github similar
• michallepicki/suber github similar
• reanimate/papers github similar
• chrisnevers/bidirectional-typechecking github similar