Alternatives and similar repositories for visual-lambda:

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

• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆130Updated 6 years ago
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆134Updated last month
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆114Updated 2 years ago
• djvelleman / HTPILeanPackage
  ☆29Updated 3 months ago
• metamath / metamath-book
  Source of metamath book
  ☆48Updated last year
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆80Updated 6 months ago
• djvelleman / HTPIwL
  Book about using Lean with How To Prove It
  ☆18Updated 4 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
  ☆125Updated last year
• rzk-lang / sHoTT
  Formalisations for simplicial HoTT and synthetic ∞-categories.
  ☆49Updated 7 months ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆70Updated 3 weeks ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆158Updated 3 weeks ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated last year
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆51Updated last year
• 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.
  ☆55Updated 2 months ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆33Updated 3 months 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…
  ☆35Updated this week
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆167Updated 5 months ago
• Lapin0t / grothendieck-cern
  Alexander Grothendieck's 1972 talk at CERN, on scientific research
  ☆57Updated 6 months ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆106Updated 3 weeks ago
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆101Updated last year
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆54Updated 4 years ago
• ncatlab / nlab-content-html
  A file-based mirror of the nLab wiki (HTML format).
  ☆24Updated this week
• avigad / qpf
  Datatypes as quotients of polynomial functors
  ☆35Updated 5 years ago
• ngzhian / ski
  SKI combinators
  ☆54Updated 7 years ago
• plfa / plfl
  Programming Language Foundations in Lean
  ☆36Updated 3 weeks ago
• vaibhavkarve / leanteach2020
  Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
  ☆27Updated 3 years ago
• desi-ivanov / agda-regexp-automata
  Formalization of Regular Languages in Agda: regular expressions, finite-state automata, proof of equivalence, proof of the pumping lemma.
  ☆18Updated 4 years ago
• blanchette / interactive_theorem_proving_2024
  Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
  ☆62Updated 8 months ago
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆69Updated 2 months ago
• barry-jay-personal / typed_tree_calculus
  types for various combinatory systems, especialy tree calculi
  ☆16Updated 3 months ago