Alternatives and similar repositories for lambda-diagrams

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

• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆156Updated 2 months ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆170Updated last week
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆81Updated last week
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆121Updated last week
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆77Updated 8 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆94Updated last year
• obfusk / koneko
  koneko - a concatenative not-quite-lisp for kittens
  ☆25Updated last year
• RubenVerg / TinyAPL
  TinyAPL, a tiny APL dialect and interpreter in Haskell
  ☆65Updated 3 weeks ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆34Updated 2 months ago
• engboris / stellogen
  An experimental language exploring computation and meaning through term unification, with logic-agnostic types.
  ☆113Updated this week
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆116Updated 3 years ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆76Updated last year
• DaveAckley / MFM
  Movable Feast Machine C++ reference implementation and simulator
  ☆93Updated 4 months ago
• bntre / visual-lambda
  Visual environment for manipulation the lambda calculus expressions
  ☆29Updated last year
• vmchale / apple
  Apple array system
  ☆67Updated last week
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆169Updated 10 months ago
• catseye / Mascarpone
  MIRROR of https://codeberg.org/catseye/Mascarpone : You are lost in a twisty maze of meta-circular interpreters, all alike.
  ☆23Updated last year
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆76Updated last year
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆117Updated last week
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated last year
• razetime / bqn-vscode
  BQN programming language vscode plugin (symbol input, syntax highlighting)
  ☆22Updated last year
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆193Updated 2 years ago
• jkoppel / ecta
  ☆37Updated last year
• andrejbauer / marshall
  Real number computation software
  ☆127Updated 3 years ago
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆311Updated 11 months ago
• elucent / scheme2d
  The future of programming.
  ☆69Updated 4 years ago
• astump / cedille-core-spec
  Specification of the Cedille Core language
  ☆33Updated 5 years ago
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆36Updated last month
• mlochbaum / ILanguage
  An interpreter for a J-inspired language
  ☆92Updated 2 years ago
• evinism / lambda-explorer
  Tutorial / REPL for the lambda calculus
  ☆66Updated last year