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
  ☆89Updated 6 years ago
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆109Updated last year
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆145Updated 2 months ago
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆166Updated 3 months 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.
  ☆55Updated 2 weeks ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆100Updated this week
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆115Updated 2 years ago
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆79Updated 4 months ago
• RubenVerg / TinyAPL
  TinyAPL, a tiny APL dialect and interpreter in Haskell
  ☆52Updated last week
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆54Updated 4 years ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆89Updated last year
• andrejbauer / alg
  Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.
  ☆82Updated 4 years ago
• ngzhian / ski
  SKI combinators
  ☆54Updated 7 years ago
• vladimirias / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆54Updated 10 years ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆38Updated 9 months ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆33Updated last month
• djvelleman / HTPILeanPackage
  ☆28Updated last month
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆63Updated 8 months ago
• Lapin0t / grothendieck-cern
  Alexander Grothendieck's 1972 talk at CERN, on scientific research
  ☆57Updated 5 months ago
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆68Updated this week
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆29Updated 7 years ago
• jespercockx / agda-core
  A work-in-progress core language for Agda, in Agda
  ☆44Updated 4 months ago
• tetrapharmakon / yoneda-in-tongues
  Yoneda lemma in every known language
  ☆17Updated 2 years ago
• mvr / at
  Effective Algebraic Topology in Haskell
  ☆90Updated 6 months ago
• astampoulis / makam
  The Makam Metalanguage
  ☆198Updated 2 years ago
• rzk-lang / rzk
  An experimental proof assistant based on a type theory for synthetic ∞-categories.
  ☆217Updated 3 weeks ago
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆66Updated 3 weeks ago
• jespercockx / agda-lecture-notes
  Agda lecture notes for the Functional Programming course at TU Delft
  ☆124Updated 11 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 11 months ago
• otherjoel / tabloid
  📰😱‼️ A Racket implementation of Tabloid, the clickbait programming language!
  ☆93Updated 4 years ago