Alternatives and similar repositories for type-inference-zoo-wasm

Users that are interested in type-inference-zoo-wasm are comparing it to the libraries listed below

• moonbit-community / moonbit-arduino

  View on GitHub
  ☆11Mar 20, 2025Updated 10 months ago
• decrn / tilogics

  View on GitHub
  Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.
  ☆11Aug 28, 2024Updated last year
• pigworker / LEOG

  View on GitHub
  being an implementation of the calculus of constructions
  ☆17Mar 9, 2023Updated 2 years ago
• rocqetry / rocqet

  View on GitHub
  Rocqet proof language
  ☆28Aug 11, 2025Updated 6 months ago
• gelisam / typechecker-combinators

  View on GitHub
  ☆17Apr 4, 2024Updated last year
• cu1ch3n / type-inference-zoo

  View on GitHub
  🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…
  ☆153Jun 22, 2025Updated 7 months ago
• uw-unsat / exoverifier

  View on GitHub
  ☆18Jun 9, 2023Updated 2 years ago
• mgajda / monad-lgbt

  View on GitHub
  Monad transformers for combining local and global state with backtracking/backjumping/continuations
  ☆20Jul 23, 2016Updated 9 years ago
• sellout / compiling-anything-to-categories

  View on GitHub
  a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.
  ☆21Apr 3, 2024Updated last year
• agda-web / agda-wasm-dist

  View on GitHub
  Distributions of Agda executable compiled into WebAssembly.
  ☆25Nov 9, 2025Updated 3 months ago
• brendanzab / lean-holes

  View on GitHub
  Interactive holes for Lean 4
  ☆22Apr 19, 2024Updated last year
• Trebor-Huang / HomotopyHistory

  View on GitHub
  ☆22Feb 13, 2024Updated 2 years ago
• FizzyElt / functional-programming

  View on GitHub
  帶你探索 functional programming
  ☆26Feb 7, 2024Updated 2 years ago
• opencompl / mlir-fuzz

  View on GitHub
  A enumerator for MLIR, relying on the information given by IRDL.
  ☆23Updated this week
• moonbitlang / quickcheck

  View on GitHub
  Automatic testing of MoonBit programs
  ☆28Updated this week
• CoqHott / logrel-coq

  View on GitHub
  Logical Relation for MLTT in Coq
  ☆29Jan 14, 2026Updated last month
• andrejbauer / faux-type-theory

  View on GitHub
  ☆48Jan 30, 2026Updated 2 weeks ago
• kokic / kodama

  View on GitHub
  A Typst-friendly static Zettelkästen site generator.
  ☆169Jan 31, 2026Updated 2 weeks ago
• ShingZhanho / ENGG1340-Project-25Spring

  View on GitHub
  The repository for HKU ENGG1340 Group Project (24/25 Semester 2).
  ☆10Jun 22, 2025Updated 7 months ago
• sgpthomas / comp-gen

  View on GitHub
  Automatically generate a compiler using equality saturation
  ☆34Apr 3, 2024Updated last year
• KonjacSource / ShiTT

  View on GitHub
  Deprecated
  ☆39Nov 2, 2025Updated 3 months ago
• moonbitlang / async

  View on GitHub
  async programming library for MoonBit
  ☆57Updated this week
• T-Brick / c0deine

  View on GitHub
  Reference compiler for c0
  ☆39Dec 11, 2025Updated 2 months ago
• msp-strath / ask

  View on GitHub
  being a particular fragment of Haskell, extended to a proof system
  ☆43Dec 2, 2025Updated 2 months ago
• lexa-lang / lexa

  View on GitHub
  ☆42Aug 11, 2025Updated 6 months ago
• jegi / Beijing-exercises

  View on GitHub
  Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023
  ☆34Oct 13, 2023Updated 2 years ago
• MohamedHaitamKsiks / awesome-simple-engine

  View on GitHub
  multi platform game engine
  ☆11Sep 1, 2025Updated 5 months ago
• HoTT / M-types

  View on GitHub
  A formalization of M-types in Agda
  ☆36Mar 7, 2020Updated 5 years ago
• zvms / zvms4-frontend

  View on GitHub
  The frontend of ZVMS 4, powered by Element-plus, Vite, and Vue.
  ☆11Feb 5, 2026Updated last week
• calcu16 / lean_complexity

  View on GitHub
  Complexity analysis in Lean
  ☆10Feb 5, 2024Updated 2 years ago
• ice1000 / multi-school-sop

  View on GitHub
  A latex template for writing statement-of-purpose for many schools at the same time
  ☆46Dec 11, 2023Updated 2 years ago
• sahanbull / VLE-Dataset

  View on GitHub
  ☆11Aug 23, 2023Updated 2 years ago
• AndrasKovacs / antifunext

  View on GitHub
  antifunext
  ☆38Jun 27, 2024Updated last year
• EnhancedJax / NotesAtHKU

  View on GitHub
  Open, hand-typed notes by HKU students, for HKU students.
  ☆18Sep 5, 2025Updated 5 months ago
• pauladam94 / curryst

  View on GitHub
  Typst Package to typeset inference rule
  ☆57Dec 11, 2025Updated 2 months ago
• brendanzab / language-garden

  View on GitHub
  A garden of small programming language implementations 🪴
  ☆311Feb 3, 2026Updated last week
• morphismtech / distributors

  View on GitHub
  Distributors - Unifying Parsers, Printers & Grammars
  ☆62Feb 8, 2026Updated last week
• jgregoriods / rongopy

  View on GitHub
  Ideas for the decipherment of Easter Island's rongorongo writing
  ☆11Sep 4, 2023Updated 2 years ago
• bloomberg / game-trees

  View on GitHub
  Functions and proofs about game trees in Rocq, implemented as rose trees.
  ☆12Dec 2, 2025Updated 2 months ago