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 3 months ago
• tlaplus / foundation
  TLA+ Foundation
  ☆29Updated 3 weeks ago
• racket / parser-tools
  ☆14Updated 3 weeks ago
• compilers-course-materials / cs75-s16-lectures
  ☆42Updated 9 years ago
• jasonhemann / miniKanren
  An outdated miniKanren implementation with a not-pairo constraint
  ☆30Updated 11 years ago
• mflatt / scratchy
  Demonstration of implementing a language in Racket
  ☆58Updated 10 years ago
• racket / datalog
  ☆46Updated 3 weeks ago
• janestreet / sexp
  S-expression swiss knife
  ☆45Updated 3 weeks ago
• squaremo / lisp-in-small-pieces
  Code written while working through the book LISP in Small Pieces
  ☆28Updated 11 years ago
• shriram / gradescope-racket
  Infrastructure to autograde Racket code on Gradescope
  ☆17Updated 4 months ago
• jackfirth / resyntax
  A Racket refactoring engine
  ☆63Updated 2 weeks ago
• bobatkey / CS316-2022
  Materials for the 2022-2023 edition of CS316 "Functional Programming"
  ☆24Updated 2 years ago
• webyrd / scheme-primer
  Interactive Scheme Primer, written in Scheme.
  ☆21Updated 8 months ago
• logic-tools / sml-handbook
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆36Updated 8 years ago
• owainlewis / ocaml-datastructures-algorithms
  Data structures and algorithms in OCaml
  ☆49Updated 2 years ago
• mauny / the-functional-approach-to-programming
  Programs that are used in the Cousineau/Mauny books
  ☆31Updated 3 years ago
• prologbyexample / code
  ☆29Updated 2 years ago
• alhassy / HaskellCheatSheet
  A reference sheet for the basics of the mind-expanding Haskell language ^_^
  ☆30Updated 5 years ago
• LuKuangChen / stacker-on-racket
  A notional machine for the SMoL languages
  ☆22Updated last year
• tonyg / racket-monad
  Monads for Racket (!)
  ☆21Updated 10 years ago
• pkrumins / the-little-mler
  All the ML code examples from the book "The Little MLer"
  ☆87Updated 15 years ago
• prathyvsh / learning-topology
  Resources for making sense of topology and its concepts
  ☆18Updated 4 years ago
• IUCompilerCourse / IU-Fall-2021
  Course web page for Fall 2021.
  ☆22Updated 3 years ago
• miniKanren / faster-miniKanren
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆16Updated 7 years ago
• mighty-gerbils / gerbil-poo
  Prototype Object Orientation for Gerbil Scheme
  ☆24Updated 3 weeks ago
• Bogdanp / racket-dbg
  A server, client and UI for remotely debugging Racket applications.
  ☆29Updated last week
• toddaaro / advanced-dan
  Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"
  ☆15Updated 12 years ago
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆44Updated last month
• lexi-lambda / talks
  ☆44Updated last year
• alex-hhh / data-frame
  A data frame implementation for Racket
  ☆37Updated last year