Similar repositories to typetools/checker-framework-inference:

• typetools/checker-framework-inference github similar
• danistefanovic/build-your-own-x github similar
• qdwang/eopl github similar
• matt77hias/EOPL github similar
• rodrigogribeiro/tapl-redex github similar
• jspecify/nullness-checker-for-checker-framework github similar
• pnwamk/pldi16-artifact github similar
• bixuanzju/phd-thesis-artifact github similar
• srfoster/dtc github similar
• poechsel/Fouine github similar
• jswalens/chocola-redex github similar
• SRI-CSL/pascali-public github similar
• pnwamk/tr-calc github similar
• jalpuim/disjoint-intersection-types github similar
• GavinMendelGleason/Cocktail github similar
• chebert/software-design-for-flexibility github similar
• gernst/korn github similar
• awslabs/aws-crypto-policy-compliance-checker github similar
• julianhyde/morel github similar
• yzyzsun/truffle-erlang github similar
• pdarragh/variadic-curry-calculus github similar
• gliboc/cast-machine github similar
• jclark/semtype github similar
• wilbowma/experimenting-with-redex github similar
• seanhinde/rebar3_caramel github similar
• pnwamk/sst-tutorial github similar
• fluffynukeit/scbt github similar
• typetools/sparta github similar
• brownplt/Resugarer github similar
• JimmyZJX/TypingFormalization github similar
• stchang/typed-rosette github similar
• typedclojure/esop16 github similar
• michallepicki/suber github similar
• samskivert/bidir-scala github similar
• stamourv/partial-evaluation-tutorial github similar
• samskivert/compose github similar
• stonebuddha/tree-sitter-sml github similar
• micahcantor/racket-lox github similar
• atgeller/WASM-Redex github similar
• JohnReppy/compiling-pattern-guards github similar