lambda-calculus

There are 31 repositories under lambda-calculus topic.

Kind
HigherOrderCO / Kind
A modern proof language
dependent-types formality functional-programming lambda-calculus moonad proof-language proof-languages theorem-prover type-theory
Language:Haskell 3705
sdiehl / write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
haskel compiler book evaluation lambda-calculus type type-checking type-system pdf-book functional-programming functional-language hindley-milner type-inference type-theory intermediate-representation
Language:Haskell 3445
JasonShin / fp-core.rs
A library for functional programming in Rust
functional-programming rust monad functor applicative category-theory lambda-calculus monoid hkt homomorphism morphism comonad
Language:Rust 1402
niltok / magic-in-ten-mins
十分钟魔法练习
adt java monad lambda-calculus functional-programming hkt tutorial formal-verification formal-proofs
Language:HTML 817
HOL-Theorem-Prover / HOL
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
higher-order-logic lambda-calculus theorem-proving
Language:Standard ML 696
woodrush / lambda-8cc
x86 C compiler written in untyped lambda calculus
c c-compiler compiler lambda-calculus ski-combinator-calculus
Language:Common Lisp 670
glebec / lambda-talk
A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
church-encodings combinators combinatory-logic composition currying functional-programming javascript lambda-calculus mathematics theory-of-computation
Language:JavaScript 531
slovnicki / pLam
An interpreter for learning and exploring pure λ-calculus
lambda-calculus programming-language computability-theory numeral-systems logic-programming church church-encoding interpreter language lambda computability functional-programming
Language:Haskell 466
cedille / cedille
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
dependent-types programming-language lambda-calculus dependent-intersections
Language:Agda 384
Chymyst / curryhoward
Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
curry-howard-isomorphism intuitionistic-logic theorem-prover scala functional-programming code-generation scala-macros lambda-terms lambda-calculus automated-theorem-provers
Language:Scala 260
cognate
cognate-lang / cognate
A human readable quasi-concatenative programming language
programming-language functional-programming stack-language natural-language closures compiler forth prefix-notation language interpreter lambda-calculus stack-based-language c forth-like based-stack-based-language proglangs-discord combinatorics
Language:C 259
woodrush / lambdalisp
A Lisp interpreter written in untyped lambda calculus
interpreter lambda-calculus lisp lisp-interpreter repl
Language:Common Lisp 245
lazear / types-and-programming-languages
Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
types-and-programming-languages tapl types type-theory programming-languages lambda-calculus
Language:Rust 210
ucsd-progsys / elsa
Elsa is a lambda calculus evaluator
lambda-calculus reduction haskell-learning haskell
Language:Haskell 191
lambda-study-group / awesome-functional-studies
A curated list of functional programming resources to study the fp paradigm
hacktoberfest lambda-calculus programming-languages
181
Y-Combinator-for-Non-programmers
chibicode / Y-Combinator-for-Non-programmers
🍱 Y Combinator for Non-programmers: A Wild Introduction to Computer Science
functional-programming lambda-calculus react reactjs typescript y-combinator
Language:TypeScript 161
polux / lambda-diagrams
Animations of lambda term reduction sequences
lambda-calculus
Language:Haskell 152
discus-lang / iron
Coq formalizations of functional languages.
coq lambda-calculus theory proof coq-formalizations
Language:Coq 145
benji6 / combinators-js
:bird: Some combinators
combinator combinatory-logic functional-programming haskell lambda-calculus
Language:JavaScript 138
chorasimilarity / chemlambda-gui
Life like molecular computers with artificial chemistry.
chemlambda artificial-life artificial-chemistry lambda-calculus simulation molecular-graphics
Language:HTML 137
ljedrz / lambda_calculus
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
lambda-calculus rust-library church-encoding rust lambda-expressions lambda-functions lambda-interpreter beta-reduction ski-combinators reduction-strategies combinatory-logic debruijn parigot-encoding scott-encoding embedded-iterators-encoding stump-fu-encoding
Language:Rust 133
benji6 / church
:church: Church Encoding in JS
church-encoding combinatory-logic functional-programming haskell lambda-calculus
Language:JavaScript 127
bruijn
marvinborner / bruijn
:abacus: Programming with pure lambda calculus
balanced-ternary de-bruijn lambda-calculus programming-language abstract-machine call-by-need church-encoding combinatory-logic
Language:Haskell 127
LSTS
Lambda-Mountain-Compiler-Backend / LSTS
Large Scale Type Systems: ML/C Hybrid Programming Language
assisted-reasoning ast category-theory compiler dependent-types error-reporting lambda-calculus lambda-calculus-interpreter lexer lint lsts parser programming-language proof-assistant refinement-types rust theorem-prover type-checking
124
abella-prover / abella
An interactive theorem prover based on lambda-tree syntax
interactive-theorem-proving lambda-calculus meta-theory
Language:OCaml 98
birb
marvinborner / birb
:bird: *cheep cheep shriek caw*
combinatory-logic esolang lambda-calculus programming-language ski-combinators birds functional-programming
Language:Haskell 95
sgillespie / lambda-calculus
An introduction to the Lambda Calculus
lambda-calculus system-f
94
gtramontina / lambda
Fun with λ calculus!
lambda-calculus javascript es6-javascript es6 lambda functional-programming functional
Language:JavaScript 90
zehaochen19 / vanilla-lang
An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
system-f type-inference polymorphism programming-language higher-rank-types lambda-calculus
Language:Haskell 90
orsinium-labs / python-lambda-calculus
Lambda Calculus things implemented on Python
lambda lambda-calculus python ycombinator combinator functional-programming
Language:Python 89
sjsyrek / malc
Make a lambda calculus.
lambda-calculus lambda-functions lambda-expressions functional-programming haskell javascript python perl6 ruby elixir
Language:Python 87
asperti / BOHM1.1
Bologna Optimal Higher-Order Machine, Version 1.1
lambda higher-order-functions compilers graph-reduction functional-programming lambda-expressions lambda-calculus
Language:C 81
clark800 / lambda-zero
minimalist pure lazy functional programming language (pythonic haskell)
functional-programming programming-language haskell functional minimalist lazy-evaluation krivine-machine lambda-calculus c pythonic
Language:C 79
bor0 / gidti
Book: Introduction to Dependent Types with Idris
books dependent-types idris types type-theory theorem-proving lambda-calculus
78
mroman42 / mikrokosmos
(λ) Educational lambda calculus interpreter
haskell interpreter lambda-calculus
Language:Haskell 73
Formality-JavaScript
moonad-archive / Formality-JavaScript
An implementation of the Formality language in JavaScript
moonad formality interaction-nets inets lambda-calculus javascript
Language:JavaScript 71