Similar repositories to gshen42/ml-type-inference:

• gshen42/ml-type-inference github similar
• Julian/lftim github similar
• digama0/mm-lean4 github similar
• Lysxia/advent-of-coq-2021 github similar
• metamath/metamath-exe github similar
• leanprover/vscode-lean4 github similar
• IPDSnelting/tba-2021 github similar
• polux/lambda-diagrams github similar
• aya-prover/aya-dev github similar
• digama0/mm0 github similar
• cpitclaudel/alectryon github similar
• vprover/vampire github similar
• VictorTaelin/abstract-algorithm github similar
• LogtalkDotOrg/logtalk3 github similar
• jarble/transpiler github similar
• HOL-Theorem-Prover/HOL github similar
• magmide/magmide github similar
• leanprover-community/mathlib github similar
• CatalaLang/catala github similar
• mthom/scryer-prolog github similar
• leanprover/lean4 github similar
• dafny-lang/dafny github similar
• terminusdb/terminusdb github similar
• leanprover/lean github similar
• emilybache/GildedRose-Refactoring-Kata github similar
• hneemann/Digital github similar
• coq/coq github similar
• uwu-tech/Kind github similar
• github/archive-program github similar
• ocaml/ocaml github similar
• MichaelMure/git-bug github similar
• norvig/paip-lisp github similar
• sonic-pi-net/sonic-pi github similar
• compiler-explorer/compiler-explorer github similar
• magic-wormhole/magic-wormhole github similar
• kovidgoyal/kitty github similar
• zulip/zulip github similar
• rome/tools github similar
• satwikkansal/wtfpython github similar
• tmux/tmux github similar