Alternatives and similar repositories for lambda-calculus:

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

• 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
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆51Updated last year
• prathyvsh / learning-topology
  Resources for making sense of topology and its concepts
  ☆18Updated 4 years ago
• racket / datalog
  ☆46Updated last month
• rogerkeays / racket-fluent
  Unix style pipes and a lambda shorthand syntax to make your Racket code more readable.
  ☆27Updated 4 years ago
• prologbyexample / code
  ☆29Updated 2 years ago
• mflatt / scratchy
  Demonstration of implementing a language in Racket
  ☆58Updated 10 years ago
• Dyalog / dyalog-jupyter-notebooks
  Jupyter notebooks for Dyalog APL
  ☆42Updated 10 months ago
• samuell / awesome-datalog
  Awesome datalog libraries, tools and resources
  ☆60Updated 5 years ago
• LuKuangChen / stacker-on-racket
  A notional machine for the SMoL languages
  ☆22Updated last year
• drym-org / qi
  An embeddable flow-oriented language.
  ☆70Updated last month
• squaremo / lisp-in-small-pieces
  Code written while working through the book LISP in Small Pieces
  ☆27Updated 11 years ago
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆44Updated 3 weeks ago
• MarcKaufmann / congame
  The best experimental economics software built in Racket
  ☆25Updated 2 weeks ago
• miniKanren / faster-miniKanren
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆16Updated 7 years ago
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆11Updated 11 years ago
• ots22 / racket-ad-demos
  Exploring Automatic Differentiation with Racket
  ☆12Updated 3 years ago
• ElliotSwart / pragmaticformalmodeling
  An instructional website with progressively worked examples of TLA+ specifications and model checking.
  ☆44Updated 2 years ago
• tlaplus / foundation
  TLA+ Foundation
  ☆29Updated 2 weeks ago
• racket / parser-tools
  ☆14Updated last month
• TheReasonedSchemer2ndEd / CodeFromTheReasonedSchemer2ndEd
  Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic
  ☆132Updated 6 years ago
• jackfirth / resyntax
  A Racket refactoring engine
  ☆63Updated this week
• webyrd / scheme-primer
  Interactive Scheme Primer, written in Scheme.
  ☆21Updated 6 months ago
• micahcantor / racket-lox
  An implementation of the Lox language in Racket.
  ☆33Updated last year
• TheClause / learn-prolog
  Bringing Prolog to the masses.
  ☆36Updated 3 years ago
• webyrd / dissertation-single-spaced
  Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'
  ☆58Updated 6 years ago
• Bogdanp / racket-kafka
  A Kafka client for Racket.
  ☆17Updated last year
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated 10 months ago
• ncihnegn / miranda
  Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…
  ☆57Updated 11 months ago
• jasonhemann / miniKanren
  An outdated miniKanren implementation with a not-pairo constraint
  ☆30Updated 11 years ago