Projects in Awesome Lists tagged with lambda-calculus

https://github.com/thesephist/lambda

The untyped lambda calculus, implemented in Ink

ink lambda-calculus y-combinator z-combinator

Last synced: 02 Feb 2026

https://github.com/luca-schlecker/typst-lambdabus

Easily parse, normalize and display simple λ-Calculus expressions.

lambda-calculus

Last synced: 20 Feb 2026

https://github.com/rootmos/silly-church

A small example of a nanopass style compiler

church-encoding lambda-calculus nanopass scheme

Last synced: 06 Feb 2026

https://github.com/mroman42/mikrokosmos-js

Call Mikrokosmos from Javascript

ghcjs lambda-calculus

Last synced: 31 Jul 2025

https://github.com/stardustdl/lamcal

An online calculator for lambda calculus (λx. y).

lambda-calculus naive-ui nodejs vite vue

Last synced: 12 Aug 2025

https://github.com/romac/lfc-haskell

🔮 An experiment with the simply typed lambda calculus, recursion schemes, Cofree, and extensible effects

fixed-points haskell lambda-calculus recursion-schemes

Last synced: 07 Apr 2025

https://github.com/aatxe/cube.idr

An implementation of the Lambda Cube in Idris.

idris lambda-calculus lambda-cube toy-language

Last synced: 31 Jan 2026

https://github.com/carnagion/lamb

Pure untyped lambda calculus in safe Rust.

functional-programming interpreter lambda-calculus lambda-calculus-evaluator lambda-calculus-interpreter mathematics parser programming-language-development programming-language-theory repl

Last synced: 22 Aug 2025

https://github.com/moea/types

Type System Modeling in Clojure

clojure hindley-milner lambda-calculus type-checking type-inference type-system type-theory types

Last synced: 07 May 2025

https://github.com/susisu/grassy

Toolkit for the Grass programming language

esolang grass haskell lambda-calculus

Last synced: 19 Jul 2025

https://github.com/amir/tapl-rs

https://www.cis.upenn.edu/~bcpierce/tapl/

lambda-calculus tapl

Last synced: 30 Oct 2025

https://github.com/alexbuyan/lambdacalculator

Library to work with lambda calculus

haskell lambda-calculus

Last synced: 16 Jun 2025

https://github.com/aallam/kotlin-lambda-calculus

Lambda Calculus (LC) playground using kotlin!

church-encoding kotlin lambda-calculus

Last synced: 26 Feb 2026

https://github.com/thma/lispkit

Implementing a small functional language with a combinator graph reduction engine

combinator-graphs combinatory-logic eval functional-language graph-reduction lambda-calculus lambda-terms lispkit parallel-reduction repl ski-combinators

Last synced: 26 Mar 2025

https://github.com/Carnagion/lamb

Pure untyped lambda calculus in safe Rust.

functional-programming interpreter lambda-calculus lambda-calculus-evaluator lambda-calculus-interpreter mathematics parser programming-language-development programming-language-theory repl

Last synced: 09 May 2025

https://github.com/nekketsuuu/lambda2pi

λ → π

golang lambda-calculus pi-calculus

Last synced: 01 Mar 2025

https://github.com/deric-w/lambda_calculus

Python package for the lambda calculus

education lambda-calculus python3

Last synced: 09 Oct 2025

https://github.com/eric11eca/automatonstudio

Toolbox for automaton theory, language theory, lambda calculus, propositional logic, and formal semantics. Including simulations, applications, parsers, and algorithm implementations.

automaton context-free-grammar finite-automaton-simulator finite-state-machine lambda-calculus propositional-logic regular-expression turing-machine-simulator

Last synced: 11 Mar 2026

https://github.com/jemtaly/projectlambda

A calculator / programming language based on lambda calculus. 基于 Lambda 演算的简易编程语言。

calculator esolang functional-programming lambda lambda-calculus programming-language

Last synced: 07 Mar 2026

https://github.com/neysofu/lambda-squared

A binary λ-calculus (BLC) interpreter written only in Python lambdas.

academic-project interpreter lambda-calculus

Last synced: 29 Aug 2025

https://github.com/imkiva/fluorine-rs

STLC with generics, ADTs, pattern matching, and Rust FFI

ffi-macros lambda-calculus programming-language rust

Last synced: 18 Mar 2025

https://github.com/jez/ragel-bison-parser-sandbox

A small parser for the lambda calculus in C++ using Bazel, Ragel, and Bison

bison-parser lambda-calculus programming-languages ragel

Last synced: 12 Dec 2025

https://github.com/phipsgabler/binarylambdacalculus.jl

binary-lambda-calculus lambda-calculus

Last synced: 02 Jan 2026

https://github.com/andreasabel/continuous-normalization

Evaluation of typed terms in Agda using the Delay monad.

agda call-by-name coinduction delay evaluation lambda-calculus monads

Last synced: 21 Feb 2026

https://github.com/minoki/lambdaquest

An implementation of System F, System Fsub (F_{<:}) and Finter (F_∧)

haskell lambda-calculus type-system

Last synced: 13 Apr 2025

https://github.com/danaugrs/lambda-vis

λ-Calculi Expression Visualizer

deno lambda-calculus visualization

Last synced: 12 Apr 2025

https://github.com/MaxDesiatov/SwiftPie

A Swift rewrite of "A Tutorial Implementation of a Dependently Typed Lambda Calculus"

dependent-types interpreter lambda-calculus swift

Last synced: 22 Jul 2025

https://github.com/3tty0n/church-scala

An implementation of church encoding with Scala.

church-encoding lambda-calculus scala

Last synced: 25 Feb 2025

https://github.com/quchen/lambda-ski

A lambda and SKI calculus playground

haskell lambda-calculus ski-calculus

Last synced: 17 Mar 2026

https://github.com/iainmon/lambdascript

A functional programming language implementing the semantic rules of the lambda calculus (λ-calculus).

functional functional-language lambda lambda-calculus

Last synced: 23 Feb 2025

https://github.com/tqn/rslambda

Simple, proof-of-concept lambda calculus parser in Rust

compiler lambda-calculus parser rust

Last synced: 26 Jul 2025

https://github.com/notJoon/lambda

λ-calculus parser made by rust

json lambda-calculus parser rust

Last synced: 09 May 2025

https://github.com/kamirus/lambda-formalizations

Lambda Calculi Formalizations in Coq using nested datatypes for a type-safe term representation

control-operators coq-formalization effect-handlers effect-system lambda-calculus nested-datatypes preservation progress stlc theorem-proving

Last synced: 02 Aug 2025

https://github.com/isaac-defrain/dependent

An implementation of dependently typed lambda calculus

cli dependent-types lambda-calculus ocaml proof

Last synced: 13 Aug 2025

https://github.com/Kwasniok/LambdaCalculus

lambda calculus in haskell

evaluation haskell lambda-calculus lambda-expressions parse valid

Last synced: 24 Jul 2025

https://github.com/lewismj/functional_scala

Presentations on functional programming in Scala

free functional lambda-calculus monad monad-transformers monoid reader scala semigroup writer

Last synced: 11 Mar 2025

https://github.com/flandrade/lambda-calculus-haskell

The λ-calculus in Haskell

beta-reduction church-encoding church-numerals haskell lambda-calculus

Last synced: 14 Jul 2025

https://github.com/jackrosenthal/lambdacalc

Beta reducer and shorthand representer for the λ-calculus

lambda-calculus

Last synced: 17 Feb 2026

https://github.com/severen/sly

A cunning interpreter for the pure untyped λ-calculus.

computability-theory functional-programming haskell interpreter lambda-calculus language programming-language programming-language-theory

Last synced: 23 Apr 2025

https://github.com/severen/turing-tarpit

An educational environment for exploring automata, Turing machines, and the λ-calculus.

automata-theory educational lambda-calculus svelte turing-machine webapp

Last synced: 14 Apr 2025

https://github.com/ganeshkumartk/1line

Convert any Python file into a single line of code.

lambda lambda-calculus oneliner oruline pip pip3 pypi pypi-packages pypi-source python python-script

Last synced: 06 Mar 2025

https://github.com/qbixxx/lambdacalculusengine

Lambda interpreter built in Scala. Supports CbN, CbV and Free Variables calculations.

functional functional-programming lambda lambda-calculus lambda-function lambda-functions sbt scala scala3

Last synced: 07 May 2025

https://github.com/v-kolesnikov/untyped_lambda_calculus

Simple untyped λάμδα calculus on Ruby

church-encoding computer-science lambda-calculus

Last synced: 07 May 2025

https://github.com/maxdesiatov/swiftpie

A Swift rewrite of "A Tutorial Implementation of a Dependently Typed Lambda Calculus"

dependent-types interpreter lambda-calculus swift

Last synced: 26 Mar 2025

https://github.com/thma/thma.github.io

Lambda is not a four letter word. My blog on all things haskell and FP.

equational-reasoning functional-programming haskell lambda-calculus patterns

Last synced: 26 Mar 2025

https://github.com/dtaskoff/lambda-pro

an interpreter for lambda calculus

lambda-calculus prolog swi-prolog

Last synced: 21 Jan 2026

https://github.com/ivoah/lambda-calculus

λ-calculus interpreter written in python

calculus lambda lambda-calculus

Last synced: 05 Jan 2026

https://github.com/konstantinoskokos/aethel

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

alpino categorial-grammar corpus dutch lambda-calculus lassy linear-logic natural-deduction proof-net type-logical-grammar

Last synced: 10 Oct 2025

https://github.com/f0rr0/church-encoding

⛪ Church encodings for JavaScript primitives

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

Last synced: 01 Sep 2025

https://github.com/mmzk1526/lambda_calculus_front_end

dart flutter lambda-calculus simulator

Last synced: 13 Apr 2026

https://github.com/neu-rah/lpp

<λ++> type-level lambda calculus for C++ meta-programming

compile-time cpp-library idiom lambda-calculus metaprograming types

Last synced: 04 Oct 2025

https://github.com/omentic/chrysanthemum

A blossoming type system.

bidirectional-typechecking lambda-calculus rust type-system typeclasses

Last synced: 05 Oct 2025

https://github.com/smimram/cccatt

A type theory for unbiased cartesian closed categories.

cartesian-closed-category lambda-calculus ocaml type-theory unbiased

Last synced: 23 Jan 2026

https://github.com/vasyl-bodnar/lambdish

Lambda Calculus Interpreter with Definitions

interpreter lambda-calculus language

Last synced: 08 Apr 2025

https://github.com/acutmore/prog-lang-play

toy compiler that outputs lambda calculus style JavaScript

compiler lambda-calculus programming-language

Last synced: 22 Apr 2026

https://github.com/annenkov/stlcnorm

Simply-typed lambda calculus and extensions: termination, extrinsic/intrinsic representations, nominal binding techniques

coq lambda-calculus nominal-set proof-assistant

Last synced: 18 Feb 2026

https://github.com/satyajitghana/lambdacalculus

A repository that contains codes to various Lambda Calculus stuff i did when learning LambdaCalculus, mostly contains JavaScript and Python Code i believe

cpp haskell javascript lambda lambda-calculus lambdacalculus list-processing python

Last synced: 11 Apr 2026

https://github.com/duboviy/funpy

:snake: A sandbox for trying out functional programming in Python

functional functional-programming lambda lambda-calculus lambda-expressions lambda-functions

Last synced: 07 Sep 2025

https://github.com/zeta611/lamb

🐑f.(🐑x.f(x x))(🐑x.f(x x))

lambda-calculus nom-parser rust

Last synced: 06 Jan 2026

https://github.com/radeusgd/quotedpatternmatchingproof

A mechanized proof of soundness of calculus defined in A Theory of Quoted Code Patterns which is a formalization of pattern matching on code available in Scala 3 as part of its new macro system.

coq dotty formalization lambda-calculus scala

Last synced: 02 May 2026

https://github.com/markomanninen/calchylus

Lambda Calculus with Hy - Docs: http://calchylus.readthedocs.io/

functional-programming hy lambda-calculus lisp logic-programming python

Last synced: 11 Jul 2025

https://github.com/ggwpez/lambda-counter

Counts the number of closed lambda terms with a given length.

lambda-calculus oeis

Last synced: 23 Feb 2025

https://github.com/evanzhoudev/twilight

Twilight is a modern lambda calculus runtime and REPL.

lambda-calculus

Last synced: 22 Jun 2025

https://github.com/rgrannell1/visp

Toy vau-calculus language with non-sexpr syntax

functional-programming lambda-calculus toy-language vau-calculus

Last synced: 11 Jan 2026

https://github.com/brauliov/logica-y-programacion

Prácticas de la asignatura de Lógica y Programación del curso 2015-2016

criptography functional-programming haskell lambda-calculus

Last synced: 31 Jan 2026

https://github.com/barrettotte/wyvern

An untyped lambda calculus interpreter

lambda-calculus lambda-calculus-interpreter

Last synced: 03 Aug 2025

https://github.com/cdboer/programmierung-ss19

📝 Übungsmaterialien für die Lehrveranstaltung Programmierung im Sommersemester 2019

functional-programming haskell imperative-programming lambda-calculus logic-programming prolog tu-dresden

Last synced: 28 Mar 2025

https://github.com/414owen/lambda-repl

JS / jison port of my lambda-calculus reducer

functional jison lambda lambda-calculus mathematics maths

Last synced: 29 Mar 2025

https://github.com/kammitama5/lambdaconf17-notes

repo for all notes, programmes etc I made for LambdaConf17

category-theory coq grothendieck isomorphic lambda lambda-calculus latex

Last synced: 18 May 2026

https://github.com/jez/rust-lc-interp

Toy interpreter for the lambda calculus to explore Rust

lalrpop lambda-calculus programming-languages

Last synced: 30 Jul 2025

https://github.com/mmzk1526/lambda_calculus

Dart package for Lambda Calculus

dart functional-programming lambda-calculus simulator type-system

Last synced: 15 May 2026

https://github.com/drapegnik/rsschool-fp

:zap: Functional Programming Course

church-encoding fp functional-programming haskell lambda-calculus rolling-scopes-school

Last synced: 05 Apr 2025

https://github.com/414owen/pure-lambda

Lambda calculus expression simplifier repl

bison flex functional lambda lambda-calculus lambda-expressions math mathematics parser-generator

Last synced: 04 Jul 2025

https://github.com/jabez007/functionalcsharp

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

c-sharp csharp functional-programming lambda-calculus lambda-expressions lambda-functions terraformed

Last synced: 13 Apr 2025

https://github.com/dragonwasrobot/ex_lambda_calculus

An experiment in extracting the lambda calculus from Elixir

elixir-lang experimental lambda-calculus proof-of-concept

Last synced: 17 Mar 2025

https://github.com/yurrriq/cedille-playground

:notebook: Maybe someday useful and organized notes about Cedille.

cedille dependent-intersecions dependent-types lambda-calculus learning-by-doing

Last synced: 16 Mar 2026

https://github.com/therealprohacker/lambda

A lambda calculus evaluator in both Haskell and Python

beta-reduction functional-programming haskell lambda-calculus python3

Last synced: 17 May 2026

https://github.com/kputnam/lambad

Toy implementations of typed lambda calculi

compilers lambda-calculus

Last synced: 10 Sep 2025

https://github.com/ashton314/christmas-compiler

An experimental lambda calculus compiling to the LLVM

compiler lambda-calculus linear-types lisp llvm racket type-checking type-inference

Last synced: 29 Oct 2025

https://github.com/ken-okabe/vscode-lambda-for-fun-fsharp

Write Haskell style lambda expression in F#, `\` instead of `fun `

dotnet dotnet-framework fsharp functional-programming haskell lambda lambda-calculus lambda-expressions lambda-functions visual-studio-code

Last synced: 18 Apr 2026

https://github.com/deducteam/nubo

Nubo is a repository of interoperable formal proofs written in Dedukti.

interoperability lambda-calculus proof

Last synced: 19 Mar 2026

https://github.com/phipsgabler/lambdacalculus.jl

Representations of lambda terms in a form you can work with

de-bruijn-notation lambda-calculus lambda-expressions locally-nameless

Last synced: 03 Jan 2026

https://github.com/sacerdot/crumbling-abstract-machines

This repository contains the formalization of part of the theory behind the Crumbling Abstract Machines, that has been introduced and partially developed in Beniamino Accattoli, Andrea Condoluci, Giulio Guerrieri, and Claudio Sacerdoti Coen. 2019. Crumbling Abstract Machines. In Proceedings of ACM Conference (Conference’17). ACM, New York, NY,USA,39 pages.

abstract-machines formalization lambda-calculus

Last synced: 13 Feb 2026