Alternatives and similar repositories for ntype-cafe-summer-school

Users that are interested in ntype-cafe-summer-school are comparing it to the libraries listed below

• Trebor-Huang / history

  View on GitHub
  History of type theory (Chinese).
  ☆360May 25, 2025Updated 8 months ago
• pku-dppl / TAPL-in-MoonBit

  View on GitHub
  MoonBit Port of Implementations for Pierce's Types and Programming Languages
  ☆68Jul 9, 2025Updated 7 months ago
• anqur / lyzh

  View on GitHub
  A well-documented minimal dependently-typed language for my friend Lyzh
  ☆27Feb 7, 2025Updated last year
• Lean-zh / tp-lean-zh

  View on GitHub
  Lean 定理证明
  ☆23Dec 28, 2025Updated last month
• plfa / plfl

  View on GitHub
  Programming Language Foundations in Lean
  ☆48Jul 22, 2025Updated 6 months ago
• MarisaKirisame / zombie

  View on GitHub
  Zombie chan revive!
  ☆27Feb 27, 2024Updated last year
• rowscript / rowscript

  View on GitHub
  RowScript programming language, making a better browser world
  ☆126Jan 5, 2026Updated last month
• anqur / TinyLean

  View on GitHub
  Tiny theorem prover with syntax like Lean 4 in <1K LOC
  ☆67Jul 21, 2025Updated 6 months ago
• aya-prover / aya-dev

  View on GitHub
  A proof assistant and a dependently-typed language
  ☆347Jan 25, 2026Updated 2 weeks ago
• Trebor-Huang / HomotopyHistory

  View on GitHub
  ☆22Feb 13, 2024Updated 2 years ago
• Agda-zh / PLFA-zh

  View on GitHub
  《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版
  ☆220Jan 26, 2026Updated 2 weeks ago
• KirisameMagicShop / kirisamemagicshop.github.io

  View on GitHub
  ☆10May 27, 2025Updated 8 months ago
• rami3l / PLFaLean

  View on GitHub
  Learn Lean 4 with PLFA proofs.
  ☆102Apr 8, 2025Updated 10 months ago
• niltok / itp-ard

  View on GitHub
  🚧施工中🚧 用 Arend 写证明的交互式教程
  ☆14Sep 7, 2022Updated 3 years ago
• ice1000 / anqur

  View on GitHub
  Elaboration with inductive types
  ☆16Jun 1, 2023Updated 2 years ago
• moonbitlang / MoonLLVM

  View on GitHub
  A Tiny, Friendly Companion to LLVM
  ☆46Jan 12, 2026Updated last month
• Mini-Moonbit-Machine / mmm

  View on GitHub
  ☆20Nov 24, 2024Updated last year
• AndrasKovacs / elaboration-zoo

  View on GitHub
  Minimal implementations for dependent type checking and elaboration
  ☆762Jan 30, 2026Updated 2 weeks ago
• thufv / CMinor-Verifier

  View on GitHub
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆211Mar 10, 2025Updated 11 months ago
• ice1000 / guest0x0

  View on GitHub
  Neon lights in the night tonight and stars that shine in the open sky
  ☆46Dec 17, 2023Updated 2 years ago
• moonbit-community / moonbit-arduino

  View on GitHub
  ☆11Mar 20, 2025Updated 10 months ago
• Guest0x0 / normalization-bench

  View on GitHub
  Benchmarking various normalization algorithms for the lambda calculus
  ☆48Sep 1, 2022Updated 3 years ago
• Trebor-Huang / ice1000

  View on GitHub
  🧊 A Elbereth Gilthoniel / silivren penna míriel! 🌟
  ☆19Jun 25, 2022Updated 3 years ago
• KonjacSource / ShiTT

  View on GitHub
  Deprecated
  ☆39Nov 2, 2025Updated 3 months ago
• agda-web / agda-wasm-dist

  View on GitHub
  Distributions of Agda executable compiled into WebAssembly.
  ☆25Nov 9, 2025Updated 3 months ago
• MarisaKirisame / ant

  View on GitHub
  ☆11Updated this week
• 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
• LighghtEeloo / magic-in-ten-mins-ml

  View on GitHub
  十分钟魔法练习 in OCaml
  ☆36Mar 31, 2022Updated 3 years ago
• frenzymath / jixia

  View on GitHub
  A static analysis tool for Lean 4.
  ☆113Updated this week
• moonbitlang / quickcheck

  View on GitHub
  Automatic testing of MoonBit programs
  ☆28Updated this week
• Lean-zh / fp-lean-zh

  View on GitHub
  Lean 函数式编程
  ☆43Dec 17, 2025Updated last month
• MarisaKirisame / DefComBlog

  View on GitHub
  ☆13Aug 26, 2022Updated 3 years ago
• choukh / Baby-Set-Theory

  View on GitHub
  Coq集合论中文教程
  ☆46Dec 17, 2021Updated 4 years ago
• PhotonQuantum / magic-in-ten-mins-rs

  View on GitHub
  十分钟魔法练习 in Rust
  ☆468Sep 26, 2022Updated 3 years ago
• SchrodingerZhu / reussir-lang

  View on GitHub
  The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.
  ☆19Mar 29, 2025Updated 10 months ago
• cu1ch3n / type-inference-zoo-wasm

  View on GitHub
  🦖 Implementations of various type inference algorithms. Online playground is at https://zoo.cuichen.cc/
  ☆21Sep 20, 2025Updated 4 months ago
• dannypsnl / plt-research

  View on GitHub
  A collection of PLT researching
  ☆29Feb 21, 2025Updated 11 months ago
• Snowflyt / tinyeffect

  View on GitHub
  A tiny TypeScript library for handling side effects in a unified way using algebraic effects, offering a type-safe approach for async ope…
  ☆31Mar 30, 2025Updated 10 months ago
• AntonPing / prune-lang

  View on GitHub
  Prune is a constraint logic programming language with branching heuristic.
  ☆33Feb 4, 2026Updated last week