Alternatives and similar repositories for lambster.dev

Users that are interested in lambster.dev are comparing it to the libraries listed below

• minchingtonak / lambster
  Lambda calculus interpreter written in TypeScript
  ☆31Updated last week
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆113Updated 3 weeks ago
• mspertus / TAPL
  Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…
  ☆55Updated 2 years ago
• GeoCoq / GeoCoq
  A formalization of geometry in Coq based on Tarski's axiom system
  ☆196Updated 3 weeks ago
• rocq-community / fourcolor
  Formal proof of the Four Color Theorem [maintainer=@ybertot]
  ☆208Updated last month
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆297Updated this week
• Beluga-lang / Beluga
  Contextual types meet mechanized metatheory!
  ☆190Updated 2 weeks ago
• Deducteam / lambdapi
  Proof assistant based on the λΠ-calculus modulo rewriting
  ☆334Updated this week
• sweirich / lambda-n-ways
  Benchmarks for capture-avoiding substitution
  ☆114Updated last week
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆245Updated this week
• rocq-community / coq-art
  Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
  ☆120Updated 3 months ago
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆303Updated 7 months ago
• UniMath / agda-unimath
  The agda-unimath library
  ☆255Updated this week
• VictorTaelin / Interaction-Type-Theory
  ☆119Updated last year
• VictorTaelin / calculus-of-constructions
  Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.
  ☆113Updated 8 years ago
• hkust-taco / mlscript
  The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…
  ☆193Updated this week
• cicada-lang / cicada-plct
  Cicada Language (PLCT little team)
  ☆93Updated 5 months ago
• cz717 / bksol
  ☆10Updated 8 years ago
• lean-forward / logical_verification_2024
  The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)
  ☆67Updated last year
• avigad / mathematics_in_lean_source
  Source code for the Mathematics in Lean tutorial.
  ☆148Updated this week
• banacorn / agda-mode-vscode
  agda-mode on VS Code
  ☆177Updated 3 weeks ago
• UniMath / Schools
  ☆85Updated last month
• gwaithimirdain / narya
  A proof assistant for higher-dimensional type theory
  ☆198Updated this week
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆140Updated 2 months ago
• ncatlab / nlab
  Source code for the nLab
  ☆175Updated 2 months ago
• LeifAndersen / PLGradSchools
  ☆233Updated 10 months ago
• CMU-HoTT / scott
  Selected Papers of Dana S. Scott
  ☆162Updated 11 months ago
• teach-plt / plt-errata
  Collection of errata for book Aarne Ranta, Implementing Programming Languages
  ☆12Updated last month
• InitialTypes / Club
  Organization and planning for the Initial Types Club
  ☆73Updated 2 years ago
• andrejbauer / spartan-type-theory
  Spartan type theory
  ☆266Updated last year