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
  ☆109Updated last year
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆148Updated 2 months ago
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆114Updated 6 years ago
• Anniepoo / swiplchrtut
  Tutorial for the CHR system
  ☆16Updated 4 years ago
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆33Updated 2 months ago
• RubenVerg / TinyAPL
  TinyAPL, a tiny APL dialect and interpreter in Haskell
  ☆53Updated 2 weeks 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 last month
• Dyalog / dyalog-jupyter-kernel
  A Jupyter kernel for Dyalog APL
  ☆70Updated 2 months ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆33Updated 2 months ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆104Updated last week
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆79Updated 5 months ago
• ngzhian / ski
  SKI combinators
  ☆54Updated 7 years ago
• data-centric-computing / dcic-public
  Repository for (for now) filing bug reports about DCIC.
  ☆26Updated 2 years ago
• tangentstorm / j-kvm
  Keyboard, Video, Mouse driver for console mode programming in J
  ☆14Updated last year
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆51Updated last year
• dcnorris / precautionary
  Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…
  ☆28Updated 3 years ago
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆34Updated 10 months ago
• moon-chilled / j
  various toys in j
  ☆12Updated 2 years ago
• prathyvsh / learning-topology
  Resources for making sense of topology and its concepts
  ☆18Updated 4 years ago
• razetime / efficient-array-programming
  A collection of documents and writings on efficient programming in array-oriented languages akin to APL.
  ☆9Updated last year
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆90Updated last year
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆167Updated 4 months ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 years ago
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆70Updated 8 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated 10 months ago
• benediktahrens / CT4P
  ☆34Updated 4 months ago
• prathyvsh / history-of-lambda-calculus
  Survey on materials that touch on the history of Lambda Calculus
  ☆12Updated 4 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆32Updated 5 months ago
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆25Updated 11 years ago
• Sintrastes / Montague
  A library for non-deterministically parsing natural language expressions into a structured form.
  ☆17Updated 2 years ago