Alternatives and similar repositories for visual-lambda

Users that are interested in visual-lambda are comparing it to the libraries listed below

• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆162Updated 5 months ago
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆156Updated 7 years ago
• engboris / stellogen
  An experimental language exploring computation and meaning through term unification, with logic-agnostic types.
  ☆119Updated last month
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆117Updated 3 years ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆135Updated 2 weeks ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆75Updated last year
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆177Updated this week
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆169Updated last year
• Lapin0t / grothendieck-cern
  Alexander Grothendieck's 1972 talk at CERN, on scientific research
  ☆66Updated last year
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆113Updated 2 years ago
• medovina / natty
  Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…
  ☆38Updated this week
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆193Updated 3 years ago
• LogicalAtomist / principia-rewrite
  The Principia Rewrite
  ☆229Updated last month
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆16Updated 3 months ago
• maude-lang / Maude
  Language based on Rewriting Logic
  ☆154Updated last week
• marvinborner / birb
  *cheep cheep shriek caw*
  ☆99Updated 2 years ago
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆82Updated 2 months ago
• ncatlab / nlab
  Source code for the nLab
  ☆198Updated 9 months ago
• mvr / at
  Effective Algebraic Topology in Haskell
  ☆90Updated last year
• been-jamming / CORE
  A constructive proof assistant for second order logic.
  ☆36Updated last year
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆35Updated 2 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated last month
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆93Updated 6 months ago
• thehottgame / TheHoTTGame
  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
  ☆130Updated 4 months ago
• etiamz / optiscope
  A Lévy-optimal lambda calculus reducer with a backdoor to C
  ☆40Updated 2 months ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆94Updated 2 weeks ago
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆83Updated 8 years ago
• barry-jay-personal / tree-calculus
  Proofs in Coq for the book Reflective Programs in Tree Calculus
  ☆180Updated 4 years ago
• jameshaydon / lawvere
  A categorical programming language with effects
  ☆290Updated 2 years ago
• prathyvsh / history-of-logic
  A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.
  ☆59Updated 10 months ago