GitHub topics: lambda-calculus

Repositories

kaygun/LambdaOnMagma

A lambda-calculus interpreter implemented on algebraic abstractions such as magmas and catemorphisms.

Language: Scala - Size: 8.79 KB - Last synced at: about 1 hour ago - Pushed at: about 3 hours ago - Stars: 0 - Forks: 0

thma/lambda-ski

Implementing a small functional language with a combinator based graph-reduction machine

Language: Haskell - Size: 727 KB - Last synced at: about 2 hours ago - Pushed at: about 4 hours ago - Stars: 35 - Forks: 2

xieyuheng/explicit-lisp.js

An implementation of lambda calculus by explicit substitution.

Language: TypeScript - Size: 139 KB - Last synced at: about 2 hours ago - Pushed at: about 4 hours ago - Stars: 3 - Forks: 0

xieyuheng/lambda-lisp.js

An implementation of lambda calculus.

Language: TypeScript - Size: 1.25 MB - Last synced at: about 4 hours ago - Pushed at: about 4 hours ago - Stars: 27 - Forks: 3

Shade-raid/lambda

Game about lambda calculus

Language: HTML - Size: 37.1 KB - Last synced at: about 6 hours ago - Pushed at: about 8 hours ago - Stars: 0 - Forks: 0

kbaird/church-numerals

An Elixir module for Church Encoding of numerals

Language: Elixir - Size: 68.4 KB - Last synced at: about 9 hours ago - Pushed at: about 11 hours ago - Stars: 2 - Forks: 0

fritzo/pomagma

Inference engine for extensional untyped λ-calculus

Language: C++ - Size: 9.43 MB - Last synced at: about 17 hours ago - Pushed at: about 21 hours ago - Stars: 4 - Forks: 0

rawlins/lambda-notebook

Lambda Notebook: Formal Semantics in Jupyter

Language: Python - Size: 4.51 MB - Last synced at: about 14 hours ago - Pushed at: 3 days ago - Stars: 27 - Forks: 7

Educorreia932/Recording

🎥 REPL for a polymorphic record-calculus

Language: Haskell - Size: 181 KB - Last synced at: about 14 hours ago - Pushed at: 4 months ago - Stars: 2 - Forks: 0

etiams/optiscope

A Lévy-optimal lambda calculus reducer with a backdoor to C

Language: C - Size: 321 KB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 23 - Forks: 0

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.

Language: Standard ML - Size: 120 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 676 - Forks: 156

HigherOrderCO/Kind

A modern proof language

Language: Haskell - Size: 34.6 MB - Last synced at: 5 days ago - Pushed at: 6 months ago - Stars: 3,688 - Forks: 145

wizard7377/SHIFT

Lamed calculus

Language: Haskell - Size: 2.49 MB - Last synced at: 8 days ago - Pushed at: 9 days ago - Stars: 1 - Forks: 0

Danelnov/Lambda-Calculus-Formalization-

This formalization uses the De Bruijn indices, the objective is to formalize the Church-Rosser theorem

Language: Lean - Size: 23.4 KB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 0 - Forks: 0

yutao-li/programming-languages-coursera

solutions to some extra challenging problems in course "programming languages"

Language: Racket - Size: 25.4 KB - Last synced at: about 9 hours ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

ncfavier/glam

Polymorphic guarded λ-calculus

Language: Haskell - Size: 3.63 MB - Last synced at: 11 days ago - Pushed at: 12 days ago - Stars: 17 - Forks: 0

gwr3n/jsdp

A Java Stochastic Dynamic Programming Library

Language: Java - Size: 50.4 MB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 13 - Forks: 3

marvinborner/interaction-net-resources

:books: Interaction net resources

Size: 39.1 KB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 18 - Forks: 1

ryanashita/LambdaCalculusSolverFSharp

A lambda calculus solver written in F# and .NET, with tests using MSTest framework. Solver (or 'evaluator') consists of a AST, parser (using custom combinator library), and recursive evaluator

Language: F# - Size: 4.18 MB - Last synced at: 23 days ago - Pushed at: 23 days ago - Stars: 1 - Forks: 0

polux/lambda-diagrams

Animations of lambda term reduction sequences

Language: Haskell - Size: 10.7 KB - Last synced at: 17 days ago - Pushed at: about 7 years ago - Stars: 138 - Forks: 8

WilliamRagstad/lambda_calc

A simple implementation of the untyped lambda calculus

Language: Rust - Size: 77.1 KB - Last synced at: 9 days ago - Pushed at: 25 days ago - Stars: 0 - Forks: 0

benji6/church

:church: Church Encoding in JS

Language: JavaScript - Size: 726 KB - Last synced at: 22 days ago - Pushed at: 25 days ago - Stars: 127 - Forks: 10

Rudxain/fastlisp

This is not mine. It's an orphan fork

Language: Python - Size: 66.4 KB - Last synced at: 28 days ago - Pushed at: 28 days ago - Stars: 0 - Forks: 1

lambada-llc/tree-calculus

Language: TypeScript - Size: 123 KB - Last synced at: 29 days ago - Pushed at: 29 days ago - Stars: 4 - Forks: 1

ljedrz/lambda_calculus

A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust

Language: Rust - Size: 650 KB - Last synced at: 28 days ago - Pushed at: 2 months ago - Stars: 126 - Forks: 13

EvanZhouDev/twilight

Twilight is a modern lambda calculus runtime and REPL.

Language: TypeScript - Size: 61.2 MB - Last synced at: 5 days ago - Pushed at: about 1 month ago - Stars: 3 - Forks: 0

binghe/HOL Fork of HOL-Theorem-Prover/HOL

Forked sources of HOL4 (no cv_compute, etc.)

Language: Standard ML - Size: 126 MB - Last synced at: 27 days ago - Pushed at: 27 days ago - Stars: 6 - Forks: 2

Lambda-Mountain-Compiler-Backend/LSTS

Large Scale Type Systems (programming language)

Size: 1.22 MB - Last synced at: 6 days ago - Pushed at: 2 months ago - Stars: 124 - Forks: 3

DanTheAI/LLM-Middleware-Pipeline

A modular, configurable LLM middleware pipeline that transforms raw prompts into enterprise-ready microservices.

Language: Python - Size: 32.2 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

jwalsh/lambda-calculus-polyglot

Lambda Calculus implementations in 20+ programming languages: functional, imperative, and logic paradigms

Language: Scheme - Size: 300 KB - Last synced at: 7 days ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

groupoid/alonzo

🧊 Типізоване ‏-ג‏‎числення

Language: OCaml - Size: 201 KB - Last synced at: about 13 hours ago - Pushed at: about 2 months ago - Stars: 16 - Forks: 1

ngzhian/ski

SKI combinators

Language: OCaml - Size: 19.5 KB - Last synced at: 27 days ago - Pushed at: about 8 years ago - Stars: 55 - Forks: 1

laszlokorte/combinators

Language: HTML - Size: 1.89 MB - Last synced at: about 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

sdiehl/write-you-a-haskell

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

Language: Haskell - Size: 938 KB - Last synced at: about 2 months ago - Pushed at: over 4 years ago - Stars: 3,379 - Forks: 256

Chymyst/curryhoward

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

Language: Scala - Size: 428 KB - Last synced at: 7 days ago - Pushed at: 2 months ago - Stars: 258 - Forks: 16

danaugrs/lambda-vis

λ-Calculi Expression Visualizer

Language: TypeScript - Size: 353 KB - Last synced at: 9 days ago - Pushed at: 2 months ago - Stars: 4 - Forks: 0

misterdown/lasm

Featured lambda calculus interpreter

Language: C - Size: 20.5 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

JasonShin/fp-core.rs

A library for functional programming in Rust

Language: Rust - Size: 271 KB - Last synced at: 2 months ago - Pushed at: about 3 years ago - Stars: 1,377 - Forks: 66

slovnicki/pLam

An interpreter for learning and exploring pure λ-calculus

Language: Haskell - Size: 1.1 MB - Last synced at: 2 months ago - Pushed at: over 4 years ago - Stars: 460 - Forks: 17

v-kolesnikov/untyped_lambda_calculus

Simple untyped λάμδα calculus on Ruby

Language: Ruby - Size: 13.7 KB - Last synced at: about 23 hours ago - Pushed at: about 8 years ago - Stars: 4 - Forks: 1

woodrush/lambda-8cc

x86 C compiler written in untyped lambda calculus

Language: Common Lisp - Size: 1.47 MB - Last synced at: 2 months ago - Pushed at: almost 3 years ago - Stars: 657 - Forks: 16

misterdown/lmachine

lmachine - stb-like lambda calculus evaluator

Language: C - Size: 17.6 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

glebec/lambda-talk

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

Language: JavaScript - Size: 476 KB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 521 - Forks: 42

aartaka/lamber

A functional scripting language compiling to pure Lambda Calculus

Language: Common Lisp - Size: 164 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 11 - Forks: 1

orsinium-labs/python-lambda-calculus

Lambda Calculus things implemented on Python

Language: Python - Size: 41 KB - Last synced at: 12 days ago - Pushed at: almost 6 years ago - Stars: 87 - Forks: 9

io12/lambda

Lambda calculus REPL written in C

Language: C - Size: 22.5 KB - Last synced at: about 2 months ago - Pushed at: almost 8 years ago - Stars: 3 - Forks: 1

freddycoppa/lambda-js

Lambda Calculus Interpreter

Language: JavaScript - Size: 55.7 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0

steshaw/lennart-lambda

λλλλ Lennart Augustsson's λ-calculus cooked four ways

Language: Haskell - Size: 272 KB - Last synced at: 7 days ago - Pushed at: over 8 years ago - Stars: 53 - Forks: 10

toadharvard/Lambada

Step-by-step Lambda calculus interpreter for AO, CBN, CBV, NOR strategies

Language: OCaml - Size: 13.7 KB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 18 - Forks: 1

abella-prover/abella

An interactive theorem prover based on lambda-tree syntax

Language: OCaml - Size: 4.51 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 95 - Forks: 19

ucsd-progsys/elsa

Elsa is a lambda calculus evaluator

Language: Haskell - Size: 90.8 KB - Last synced at: 4 days ago - Pushed at: 4 months ago - Stars: 187 - Forks: 23

benji6/combinators-js

:bird: Some combinators

Language: JavaScript - Size: 271 KB - Last synced at: 22 days ago - Pushed at: 8 months ago - Stars: 137 - Forks: 8

clark800/lambda-zero

minimalist pure lazy functional programming language (pythonic haskell)

Language: C - Size: 1.78 MB - Last synced at: 2 months ago - Pushed at: 4 months ago - Stars: 78 - Forks: 5

lazear/types-and-programming-languages

Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!

Language: Rust - Size: 567 KB - Last synced at: 3 months ago - Pushed at: about 5 years ago - Stars: 206 - Forks: 10

ComprosoftCEO/rusty-lambda

A Rust implementation of Lambda calculus

Language: Rust - Size: 98.6 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

marvinborner/bruijn

:abacus: Programming with pure lambda calculus

Language: Haskell - Size: 1.41 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 105 - Forks: 0

bor0/gidti

Book: Introduction to Dependent Types with Idris

Size: 10.9 MB - Last synced at: 2 months ago - Pushed at: over 2 years ago - Stars: 78 - Forks: 4

jabez007/FunctionalCSharp

A library of static classes, extension methods, and classes that apply functional techniques to C#.

Language: C# - Size: 104 KB - Last synced at: 6 days ago - Pushed at: over 6 years ago - Stars: 3 - Forks: 1

tominated/system_f_omega

My Attempt at System Fω with Row-Polymorphism

Language: OCaml - Size: 27.3 KB - Last synced at: 17 days ago - Pushed at: about 4 years ago - Stars: 30 - Forks: 1

lambda-study-group/awesome-functional-studies

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

Size: 94.7 KB - Last synced at: about 1 month ago - Pushed at: 12 months ago - Stars: 179 - Forks: 17

cogtoto/pub

lambda calculus, type systems, interpreters, compilers. OCAML, SCHEME and COQ code

Language: HTML - Size: 302 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 3 - Forks: 0

kevinlopaq/cmtt

Type-checker for CMTT

Language: Haskell - Size: 85 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

cognate-lang/cognate

A human readable quasi-concatenative programming language

Language: C - Size: 4.45 MB - Last synced at: 4 months ago - Pushed at: 6 months ago - Stars: 251 - Forks: 12

orsinium-labs/rlci

🦀 λ Overly-documented Rust-powered Lambda Calculus Interpreter.

Language: Rust - Size: 88.9 KB - Last synced at: 3 months ago - Pushed at: 4 months ago - Stars: 64 - Forks: 1

konstantinosKokos/aethel

A packaging of tools for expressing dependency graphs as typed derivations of a categorial grammar.

Language: Python - Size: 32.8 MB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 3

smimram/cccatt

A type theory for unbiased cartesian closed categories.

Language: OCaml - Size: 319 KB - Last synced at: 3 months ago - Pushed at: 4 months ago - Stars: 3 - Forks: 0

414owen/pure-lambda

Lambda calculus expression simplifier repl

Language: C - Size: 24.4 KB - Last synced at: 23 days ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 0

bogo8liuk/pir

Pi-calculus as Intermediate Representation

Language: Rust - Size: 86.9 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 1 - Forks: 0

bmqn/whisp

Stack-based functional programming language.

Language: C++ - Size: 1.94 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

sgillespie/lambda-calculus

An introduction to the Lambda Calculus

Size: 146 KB - Last synced at: 3 months ago - Pushed at: about 3 years ago - Stars: 90 - Forks: 15

thamugadi/call-cc-krivine

A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.

Language: Haskell - Size: 65.4 KB - Last synced at: 4 months ago - Pushed at: over 1 year ago - Stars: 13 - Forks: 1

konstantinosKokos/spindle

🕸️ An end-to-end neurosymbolic parser for Dutch.

Language: Python - Size: 105 KB - Last synced at: 4 months ago - Pushed at: over 1 year ago - Stars: 9 - Forks: 1

aallam/kotlin-lambda-calculus

Lambda Calculus (LC) playground using kotlin!

Language: Kotlin - Size: 65.4 KB - Last synced at: 4 months ago - Pushed at: almost 5 years ago - Stars: 6 - Forks: 0

gallettilance/ATS-blockchain

⛓️ Blockchain + Smart contracts from scratch

Language: ATS - Size: 15.1 MB - Last synced at: 13 days ago - Pushed at: about 7 years ago - Stars: 22 - Forks: 3

codedot/lambda

Macro Lambda Calculus

Language: JavaScript - Size: 518 KB - Last synced at: 3 months ago - Pushed at: over 6 years ago - Stars: 49 - Forks: 3

A simple Python string-substitution-based interpreter for expanding (evaluating) lambda calculus. Contains pure lambda implementations of functions like Fibonacci, factorial and the Ackerman function.

Language: Python - Size: 10.7 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0