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
  ☆140Updated 2 months ago
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆135Updated 7 years ago
• RubenVerg / TinyAPL
  TinyAPL, a tiny APL dialect and interpreter in Haskell
  ☆62Updated 3 weeks ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆110Updated 2 months ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆72Updated last week
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆75Updated 9 months ago
• ncatlab / nlab-content-html
  A file-based mirror of the nLab wiki (HTML format).
  ☆24Updated this week
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆159Updated 2 weeks ago
• mbuliga / quinegraphs
  Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).
  ☆22Updated 2 years ago
• prathyvsh / learning-topology
  Resources for making sense of topology and its concepts
  ☆18Updated 4 years ago
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆108Updated last year
• mbuliga / chemski
  Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
  ☆18Updated last year
• koko-m / GoI-Visualiser
  A tool for web browsers that simulates execution of the dynamic GoI abstract machine for the lambda-calculus.
  ☆13Updated 3 years ago
• metamath / metamath-book
  Source of metamath book
  ☆48Updated last year
• yzyzsun / CP-next
  The Next Generation of Compositional Programming
  ☆27Updated 2 weeks ago
• ralsei / types.pl
  The glitch-soc/Mastodon fork running on types.pl
  ☆24Updated 3 months ago
• djvelleman / HTPILeanPackage
  ☆31Updated 2 weeks ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆33Updated this week
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆114Updated 2 years ago
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆80Updated 8 months ago
• djvelleman / HTPIwL
  Book about using Lean with How To Prove It
  ☆19Updated 2 weeks ago
• barry-jay-personal / typed_tree_calculus
  types for various combinatory systems, especialy tree calculi
  ☆17Updated 5 months ago
• engboris / stellogen
  An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
  ☆107Updated this week
• 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.
  ☆56Updated 4 months ago
• Buroni / automata-golf
  A domain-specific language (DSL) for parsing regular, context-free and recursively enumerable languages.
  ☆17Updated 2 years ago
• dunhamsteve / newt
  A toy dependent typed language.
  ☆29Updated last week
• punkdit / huygens
  ☆10Updated 3 weeks ago
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆69Updated 4 months ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated 2 weeks ago