lambda-calculus

There are 15 repositories under lambda-calculus topic.

sdiehl / write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
book compiler evaluation functional-language functional-programming haskel hindley-milner intermediate-representation lambda-calculus pdf-book type type-checking type-inference type-system type-theory
Language:Haskell 3144
Kind
Kindelia / Kind
A modern proof language
dependent-types formality functional-programming lambda-calculus moonad proof-language proof-languages theorem-prover type-theory
Language:JavaScript 2544
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 1025
niltok / magic-in-ten-mins
十分钟魔法练习
adt formal-proofs formal-verification functional-programming hkt java lambda-calculus monad tutorial
Language:HTML 541
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 509
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 417
glebec / lambda-talk
A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
lambda-calculus church-encodings composition functional-programming mathematics theory-of-computation javascript combinatory-logic combinators currying
Language:JavaScript 407
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 316
pagarme / lambda
🔮 Estudos obscuros de programação funcional
lambda-calculus functional-programming ramda ramdajs javascript php
Language:JavaScript 309
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 242
ucsd-progsys / elsa
Elsa is a lambda calculus evaluator
lambda-calculus reduction haskell-learning haskell
Language:Haskell 153
lambda-study-group / awesome-functional-studies
A curated list of functional programming resources to study the fp paradigm
hacktoberfest programming-languages lambda-calculus
143
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 137
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 130
discus-lang / iron
Coq formalizations of functional languages.
coq lambda-calculus theory proof coq-formalizations
Language:Coq 127
benji6 / combinators-js
:bird: Some combinators
combinator functional-programming lambda-calculus combinatory-logic haskell
Language:JavaScript 124
chorasimilarity / chemlambda-gui
Life like molecular computers with artificial chemistry.
artificial-chemistry artificial-life chemlambda lambda-calculus molecular-graphics simulation
Language:HTML 123
benji6 / church
:church: Church Encoding in JS
functional-programming lambda-calculus church-encoding combinatory-logic haskell
Language:JavaScript 117
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 96
abella-prover / abella
An interactive theorem prover based on lambda-tree syntax
lambda-calculus meta-theory interactive-theorem-proving
Language:OCaml 81
gtramontina / lambda
Fun with λ calculus!
es6 es6-javascript functional functional-programming javascript lambda lambda-calculus
Language:JavaScript 77
sjsyrek / malc
Make a lambda calculus.
lambda-calculus lambda-functions lambda-expressions functional-programming haskell javascript python perl6 ruby elixir
Language:Python 75
polux / lambda-diagrams
Animations of lambda term reduction sequences
lambda-calculus
Language:Haskell 74
Formality-JavaScript
moonad-archive / Formality-JavaScript
An implementation of the Formality language in JavaScript
moonad formality interaction-nets inets lambda-calculus javascript
Language:JavaScript 72
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 71
bor0 / gidti
Book: Gentle Introduction to Dependent Types with Idris
books dependent-types idris types type-theory theorem-proving lambda-calculus
70
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 67
clark800 / lambda-zero
A minimalist pure lazy functional programming language
functional-programming programming-language haskell functional minimalist lazy-evaluation krivine-machine lambda-calculus c
Language:C 65
discus-lang / salt
The compilation target that functional programmers always wanted.
language functional low-level compiler compilation target lambda-calculus
Language:Haskell 62
mroman42 / mikrokosmos
(λ) Educational lambda calculus interpreter
lambda-calculus interpreter haskell
Language:Haskell 56
sgillespie / lambda-calculus
An introduction to the Lambda Calculus
lambda-calculus system-f
55
cdparks / lambda-machine
A simple UI for evaluating expressions in the untyped lambda calculus
lambda-calculus purescript react
Language:PureScript 53
orsinium-labs / python-lambda-calculus
Lambda Calculus things implemented on Python
lambda lambda-calculus python ycombinator combinator functional-programming
Language:Python 50
jfaure / lfvm-stg
Map lazy functional language constructs to LLVM IR
programming-language concurrent-programming statically-typed compiler lambda-calculus pi-calculus llvm
Language:Haskell 48
AndyShiue / pts
implementation of Pure Type Systems (PTS) in Rust.
lambda-calculus rust
Language:Rust 47
tarao / LambdaJS
An interpreter of Lambda calculus written in JavaScript and working with JavaScript syntax.
javascript tutorial lambda-calculus evaluator
Language:JavaScript 45

ezoic increase your site revenue