lambda-calculus

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.

lambda-calculus theorem-proving higher-order-logic

Updated Oct 19, 2022
Standard ML

woodrush / lambda-8cc

Star

x86 C compiler written in untyped lambda calculus

c lambda-calculus c-compiler ski-combinator-calculus

Updated Oct 7, 2022
Common Lisp

slovnicki / pLam

Sponsor

Star

An interpreter for learning and exploring pure λ-calculus

language programming-language lambda interpreter functional-programming lambda-calculus church church-encoding logic-programming numeral-systems computability-theory computability

Updated Apr 11, 2021
Haskell

glebec / lambda-talk

Star

A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS

javascript functional-programming lambda-calculus composition mathematics combinatory-logic currying theory-of-computation combinators church-encodings

Updated Jan 17, 2021
JavaScript

cedille / cedille

Star

Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

programming-language dependent-types lambda-calculus dependent-intersections

Updated Feb 20, 2022
Agda

pagarme / lambda

Star

🔮 Estudos obscuros de programação funcional

javascript php functional-programming lambda-calculus ramda ramdajs

Updated Nov 30, 2019
JavaScript

Chymyst / curryhoward

Star

Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism

scala functional-programming lambda-calculus scala-macros code-generation automated-theorem-provers theorem-prover intuitionistic-logic curry-howard-isomorphism lambda-terms

Updated Nov 6, 2021
Scala

woodrush / lambdalisp

Star

A Lisp interpreter written in untyped lambda calculus

lambda-calculus lisp-interpreter

Updated Oct 9, 2022
Common Lisp

lambda-study-group / awesome-functional-studies

Star

A curated list of functional programming resources to study the fp paradigm

lambda-calculus programming-languages hacktoberfest

Updated Jun 24, 2022

ucsd-progsys / elsa

Star

Elsa is a lambda calculus evaluator

haskell lambda-calculus reduction haskell-learning

Updated Sep 28, 2022
Haskell

cognate-lang / cognate

Star

A human readable quasi-concatenative programming language

c language programming-language interpreter compiler functional-programming natural-language lambda-calculus forth combinatorics closures prefix-notation stack-language forth-like stack-based-language based-stack-based-language proglangs-discord

Updated Oct 13, 2022
C

chibicode / Y-Combinator-for-Non-programmers

Star

🍱 Y Combinator for Non-programmers: A Wild Introduction to Computer Science

react typescript functional-programming reactjs lambda-calculus y-combinator

Updated Jun 22, 2022
TypeScript

discus-lang / iron

Star

Coq formalizations of functional languages.

lambda-calculus coq proof theory coq-formalizations

Updated Jul 2, 2020
Coq

benji6 / combinators-js

Star

🐦 Some combinators

haskell functional-programming lambda-calculus combinator combinatory-logic

Updated Oct 1, 2022
JavaScript

chorasimilarity / chemlambda-gui

Star

Life like molecular computers with artificial chemistry.

simulation lambda-calculus molecular-graphics artificial-life artificial-chemistry chemlambda

Updated Oct 12, 2022
HTML

benji6 / church

Star

⛪ Church Encoding in JS

haskell functional-programming lambda-calculus combinatory-logic church-encoding

Updated Oct 1, 2022
JavaScript

Improve this page

Add a description, image, and links to the lambda-calculus topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the lambda-calculus topic, visit your repo's landing page and select "manage topics."

Learn more

Sep	OCT	Nov
	19
2021	2022	2023