Similar repositories to BookOwl/type-inference:

• BookOwl/type-inference github similar
• hecrj/iced github similar
• Eloston/ungoogled-chromium github similar
• danistefanovic/build-your-own-x github similar
• fathyb/carbonyl github similar
• typst/typst github similar
• emmeline-lang/editor github similar
• nikomatsakis/bidir-type-infer github similar
• 24pullrequests/dashboard github similar
• lucasem/polytype-rs github similar
• darioteixeira/ocaml-bitcoin github similar
• SplittyDev/rust-talks github similar
• bravit/tt-ghc-exercises github similar
• RobertHarper/hott-notes github similar
• mgechev/typed-calc github similar
• zalando-incubator/banknote github similar
• zehaochen19/vanilla-lang github similar
• justinmichaud/ion github similar
• rob-smallshire/hindley-milner-python github similar
• jaredhoberock/hindley_milner github similar
• cdiggins/type-inference github similar
• 24pullrequests/contribulator github similar
• lamdu/hypertypes github similar
• llelf/icfp2020-papers github similar
• glowcoil/basedrop github similar
• lexi-lambda/higher-rank github similar
• zuiderkwast/nanbox github similar
• effekt-lang/effekt github similar
• LLK/Scratch_1.4 github similar
• jozefg/blott github similar
• tuqqu/oxide-lang github similar
• ReTeX/ReX github similar
• backtrace-labs/slitter github similar
• ocaml/RFCs github similar
• Ahnfelt/type-inference-by-example github similar
• cucapra/calyx github similar
• 7sharp9/write-you-an-inference-in-fsharp github similar
• cramertj/domafic-rs github similar
• PlasmaLang/plasma github similar
• quadrupleslap/tether github similar