prathyvsh / lambda-calculus

Related projects: ⓘ

• 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
• micahcantor / racket-lox
  An implementation of the Lox language in Racket.
  ☆28Updated 10 months ago
• Dyalog / dyalog-jupyter-notebooks
  Jupyter notebooks for Dyalog APL
  ☆41Updated 3 months ago
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆34Updated last month
• rfindler / modern-macros-talk
  ☆14Updated last year
• rogerkeays / racket-fluent
  Unix style pipes and a lambda shorthand syntax to make your Racket code more readable.
  ☆26Updated 3 years ago
• jackfirth / resyntax
  A Racket refactoring engine
  ☆56Updated this week
• racket / datalog
  ☆43Updated last month
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆11Updated 10 years ago
• prathyvsh / learning-topology
  Resources for making sense of topology and its concepts
  ☆17Updated 3 years ago
• mflatt / scratchy
  Demonstration of implementing a language in Racket
  ☆58Updated 10 years ago
• drym-org / qi
  An embeddable flow-oriented language.
  ☆58Updated last week
• drever / ct-consciousness
  ☆14Updated 2 months ago
• squaremo / lisp-in-small-pieces
  Code written while working through the book LISP in Small Pieces
  ☆27Updated 10 years ago
• abuseofnotation / termlisp
  A lisp dialect based on pattern matching and term rewriting
  ☆40Updated 5 months ago
• massung / tabular-asa
  A column-oriented, dataframe implementation for Racket.
  ☆17Updated last week
• jasonhemann / microKanren-DLS-16
  microKanren implementation from DLS '16
  ☆14Updated 6 years ago
• robertkleffner / wort
  A core concatenative programming language with variables and first-rank polymorphic type inference
  ☆30Updated 4 years ago
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆41Updated last week
• racket / parser-tools
  ☆10Updated last month
• dzaima / aoc
  My Advent of Code solutions
  ☆22Updated 8 months ago
• countvajhula / cli
  A language for writing command line interfaces in Racket
  ☆14Updated 2 years ago
• pflanze / chj-schemelib
  A collection of libraries in Scheme
  ☆12Updated 3 years ago
• andreaferretti / commutative-algebra
  An introduction to the basic ideas of commutative algebra
  ☆16Updated 4 years ago
• otherjoel / beeswax
  🐝🧇 Prototype template #lang for Pollen
  ☆11Updated last year
• rfindler / lindenmayer
  ☆24Updated last year
• racket / racket-lang-org
  ☆67Updated last week
• Bogdanp / racket-kafka
  A Kafka client for Racket.
  ☆17Updated 8 months ago
• miniKanren / faster-miniKanren
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆15Updated 6 years ago
• alex-hhh / data-frame
  A data frame implementation for Racket
  ☆37Updated 4 months ago