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.☆56Updated 4 months ago
- Resources for making sense of topology and its concepts☆18Updated 4 years ago
- Demonstration of implementing a language in Racket☆58Updated 10 years ago
- Code written while working through the book LISP in Small Pieces☆28Updated 11 years ago
- ☆48Updated last month
- A notional machine for the SMoL languages☆21Updated last year
- Andrej Bauer's blog "Mathematics and Computation"☆52Updated last year
- Exploring Automatic Differentiation with Racket☆12Updated 3 years ago
- ☆14Updated last month
- My personal template repository for Racket packages☆16Updated 4 years ago
- Notes and solutions to exercises of "Haskell Programming from first principles"☆37Updated 4 years ago
- F*dging up a Racket: how to write Brainf*ck as a Racket language☆27Updated 5 years ago
- Unix style pipes and a lambda shorthand syntax to make your Racket code more readable.☆27Updated 4 years ago
- formalization of theorems of higher algebraic K-theory☆8Updated 11 years ago
- My Advent of Code solutions☆22Updated 6 months ago
- Interactive Scheme Primer, written in Scheme.☆22Updated 2 weeks ago
- ☆14Updated 2 years ago
- Prototypes: Object Orientation, Functionally☆46Updated this week
- A data frame implementation for Racket☆37Updated last year
- Intuitionistic Programming Language☆11Updated 11 years ago
- Binaryen bindings for Racket☆11Updated 3 years ago
- Awesome Agda Programming☆16Updated 4 years ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆45Updated 7 years ago
- The 2020-21 Edition of CS316 "Functional Programming" @ the University of Strathclyde☆24Updated 4 years ago
- A Racket Meta-Program Generator☆17Updated 5 years ago
- A Kafka client for Racket.☆17Updated last month
- The MLtonLibrary repository☆36Updated 2 years ago
- A server, client and UI for remotely debugging Racket applications.☆30Updated 3 weeks ago
- The best experimental economics software built in Racket☆26Updated 2 weeks ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆16Updated 7 years ago