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
• Dyalog / dyalog-jupyter-notebooks
  Jupyter notebooks for Dyalog APL
  ☆42Updated 10 months ago
• ots22 / racket-ad-demos
  Exploring Automatic Differentiation with Racket
  ☆12Updated 3 years ago
• squaremo / lisp-in-small-pieces
  Code written while working through the book LISP in Small Pieces
  ☆27Updated 11 years ago
• prathyvsh / learning-topology
  Resources for making sense of topology and its concepts
  ☆18Updated 4 years ago
• mthom / scryer-shen
  ☆46Updated 4 months ago
• mflatt / scratchy
  Demonstration of implementing a language in Racket
  ☆58Updated 10 years ago
• racket / datalog
  ☆45Updated 3 weeks ago
• OptimaSystems / apl-language-server
  APL language server, implements Microsoft LSP for APL
  ☆13Updated 5 years ago
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆33Updated 2 months ago
• vladimirias / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆54Updated 10 years ago
• prologbyexample / code
  ☆29Updated 2 years ago
• MarcKaufmann / congame
  The best experimental economics software built in Racket
  ☆25Updated 3 weeks ago
• miniKanren / faster-miniKanren
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆16Updated 7 years ago
• rogerkeays / racket-fluent
  Unix style pipes and a lambda shorthand syntax to make your Racket code more readable.
  ☆27Updated 4 years ago
• TheClause / learn-prolog
  Bringing Prolog to the masses.
  ☆36Updated 3 years ago
• drym-org / qi
  An embeddable flow-oriented language.
  ☆70Updated 2 weeks ago
• dzaima / aoc
  My Advent of Code solutions
  ☆22Updated 3 months ago
• zyrolasting / mind-map
  Write and render mind-maps in Racket
  ☆20Updated 4 years ago
• racket / racket-lang-org
  ☆69Updated this week
• ralsei / graphite
  A data visualization library for Racket.
  ☆36Updated 4 months ago
• the-carlisle-group / Dado
  DevOps for Dyalog APL
  ☆16Updated 2 months ago
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆31Updated last week
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated 10 months ago
• harsman / dyalog-mode
  Emacs major mode for Dyalog APL
  ☆15Updated 2 years ago
• Co-dfns / apixlib
  An Image Dictionary for Co-dfns
  ☆14Updated 7 years ago
• lexi-lambda / racket-toolbox
  Miscellaneous Racket utilities lacking a better home
  ☆12Updated 4 months ago
• pellertson / awesome-bqn
  A list of awesome libraries for BQN.
  ☆31Updated 3 months ago
• dedbox / racket-template
  A Racket Meta-Program Generator
  ☆17Updated 4 years ago