prathyvsh / lambda-calculusLinks
Guide elucidating Lambda Calculus
☆16Updated 3 years ago
Alternatives and similar repositories for lambda-calculus
Users that are interested in lambda-calculus are comparing it to the libraries listed below
Sorting:
- 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
- TLA+ Foundation☆29Updated 3 weeks ago
- ☆14Updated 3 weeks ago
- ☆42Updated 9 years ago
- An outdated miniKanren implementation with a not-pairo constraint☆30Updated 11 years ago
- Demonstration of implementing a language in Racket☆58Updated 10 years ago
- ☆46Updated 3 weeks ago
- S-expression swiss knife☆45Updated 3 weeks ago
- Code written while working through the book LISP in Small Pieces☆28Updated 11 years ago
- Infrastructure to autograde Racket code on Gradescope☆17Updated 4 months ago
- A Racket refactoring engine☆63Updated 2 weeks ago
- Materials for the 2022-2023 edition of CS316 "Functional Programming"☆24Updated 2 years ago
- Interactive Scheme Primer, written in Scheme.☆21Updated 8 months ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 8 years ago
- Data structures and algorithms in OCaml☆49Updated 2 years ago
- Programs that are used in the Cousineau/Mauny books☆31Updated 3 years ago
- ☆29Updated 2 years ago
- A reference sheet for the basics of the mind-expanding Haskell language ^_^☆30Updated 5 years ago
- A notional machine for the SMoL languages☆22Updated last year
- Monads for Racket (!)☆21Updated 10 years ago
- All the ML code examples from the book "The Little MLer"☆87Updated 15 years ago
- Resources for making sense of topology and its concepts☆18Updated 4 years ago
- Course web page for Fall 2021.☆22Updated 3 years ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆16Updated 7 years ago
- Prototype Object Orientation for Gerbil Scheme☆24Updated 3 weeks ago
- A server, client and UI for remotely debugging Racket applications.☆29Updated last week
- Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"☆15Updated 12 years ago
- Prototypes: Object Orientation, Functionally☆44Updated last month
- ☆44Updated last year
- A data frame implementation for Racket☆37Updated last year