prathyvsh / lambda-calculus

Related projects ⓘ

Alternatives and complementary repositories for lambda-calculus

• 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 2 years ago
• racket / parser-tools
  ☆11Updated 2 weeks ago
• prathyvsh / learning-topology
  Resources for making sense of topology and its concepts
  ☆17Updated 4 years ago
• rfindler / modern-macros-talk
  ☆14Updated last year
• steinuil / the-little-ocamler
  The examples from "The Little MLer" in OCaml and ReasonML
  ☆30Updated 4 years ago
• miniKanren / faster-miniKanren
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆15Updated 6 years ago
• jackfirth / resyntax
  A Racket refactoring engine
  ☆58Updated this week
• vladimirias / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆53Updated 10 years ago
• webyrd / miniKanren-hangout-summaries
  Summaries of intro and advanced miniKanren hangout series
  ☆28Updated 6 years ago
• webyrd / summer-scheming
  Summer Scheming!!!!!!
  ☆11Updated 4 years ago
• guenchi / setup-scheme
  Github Actions CI / CD setup for Scheme
  ☆15Updated last year
• racket / datalog
  ☆43Updated 2 weeks ago
• pflanze / chj-schemelib
  A collection of libraries in Scheme
  ☆12Updated 3 years ago
• plum-umd / adapton.racket
  Racket-based implementation of Adapton
  ☆22Updated 5 years ago
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆11Updated 10 years ago
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆49Updated 9 months ago
• hlopko / architecture_of_symbolic_computers_notes
  My notes from reading this amazing book by Peter M. Kogge.
  ☆23Updated 10 years ago
• jasonhemann / miniKanren
  An outdated miniKanren implementation with a not-pairo constraint
  ☆29Updated 10 years ago
• adamwespiser / deep-learning-koans
  A series of educational Deep Learning Koans, using Julia and Flux.jl
  ☆29Updated 4 years ago
• dzaima / aoc
  My Advent of Code solutions
  ☆22Updated 10 months ago
• mflatt / scratchy
  Demonstration of implementing a language in Racket
  ☆58Updated 10 years ago
• alex-hhh / AL2-IRisk-Dashboard
  IRisk Dashboard for ActivityLog2 -- this has been added to ActivityLog2
  ☆11Updated 5 years ago
• bennn / forth
  Forth emulator, as a Racket #lang
  ☆20Updated last year
• rogerkeays / racket-fluent
  Unix style pipes and a lambda shorthand syntax to make your Racket code more readable.
  ☆27Updated 3 years ago
• squaremo / lisp-in-small-pieces
  Code written while working through the book LISP in Small Pieces
  ☆27Updated 10 years ago
• micahcantor / racket-lox
  An implementation of the Lox language in Racket.
  ☆30Updated last year
• janestreet / sexp
  S-expression swiss knife
  ☆43Updated last week
• massung / tabular-asa
  A column-oriented, dataframe implementation for Racket.
  ☆17Updated 2 months ago
• Bogdanp / racket-kafka
  A Kafka client for Racket.
  ☆17Updated 10 months ago
• drym-org / qi
  An embeddable flow-oriented language.
  ☆59Updated this week