fritzo/pomagma

An inference engine for extensional untyped λ-calculus

Language: C++ - Size: 8.98 MB - Last synced at: about 12 hours ago - Pushed at: about 13 hours ago - Stars: 3 - Forks: 0

etiams/optiscope

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

Language: C - Size: 320 KB - Last synced at: about 21 hours ago - Pushed at: about 22 hours ago - Stars: 22 - Forks: 0

Rudxain/fastlisp

This is not mine. It's an orphan fork

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

lambada-llc/tree-calculus

Language: TypeScript - Size: 123 KB - Last synced at: 3 days ago - Pushed at: 3 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: 3 days ago - Pushed at: about 2 months ago - Stars: 126 - Forks: 13

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: 119 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 672 - Forks: 153

HigherOrderCO/Kind

A modern proof language

Language: Haskell - Size: 34.6 MB - Last synced at: 10 days ago - Pushed at: 5 months ago - Stars: 3,679 - Forks: 144

marvinborner/interaction-net-resources

Interaction net resources

Size: 24.4 KB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 9 - Forks: 0

cicada-lang/lambda.js

An interpreter of lambda calculus.

Language: TypeScript - Size: 1.14 MB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 27 - Forks: 3

kbaird/church-numerals

An Elixir module for Church Encoding of numerals

Language: Elixir - Size: 65.4 KB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 1 - Forks: 0

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: 14 days ago - Pushed at: 14 days ago - Stars: 1 - Forks: 0

EvanZhouDev/twilight

Twilight is a modern lambda calculus runtime and REPL.

Language: TypeScript - Size: 61.2 MB - Last synced at: 10 days ago - Pushed at: 15 days 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: 1 day ago - Pushed at: 2 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: about 1 month 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: 23 days ago - Pushed at: 23 days ago - Stars: 0 - 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: 7.81 KB - Last synced at: 23 days ago - Pushed at: 23 days 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: 4 days ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

benji6/church

:church: Church Encoding in JS

Language: JavaScript - Size: 675 KB - Last synced at: 29 days ago - Pushed at: 30 days ago - Stars: 127 - Forks: 10

groupoid/alonzo

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

Language: OCaml - Size: 201 KB - Last synced at: 2 days ago - Pushed at: about 1 month ago - Stars: 16 - Forks: 1

ngzhian/ski

SKI combinators

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

laszlokorte/combinators

Language: HTML - Size: 1.89 MB - Last synced at: 23 days ago - Pushed at: about 1 month 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 1 month 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: about 8 hours ago - Pushed at: about 1 month ago - Stars: 258 - Forks: 16

danaugrs/lambda-vis

λ-Calculi Expression Visualizer

Language: TypeScript - Size: 353 KB - Last synced at: 6 days ago - Pushed at: about 1 month ago - Stars: 4 - Forks: 0

misterdown/lasm

Featured lambda calculus interpreter

Language: C - Size: 20.5 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

JasonShin/fp-core.rs

A library for functional programming in Rust

Language: Rust - Size: 271 KB - Last synced at: about 1 month ago - Pushed at: almost 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: about 1 month ago - Pushed at: about 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: 7 days ago - Pushed at: almost 8 years ago - Stars: 4 - Forks: 1

rawlins/lambda-notebook

Lambda Notebook: Formal Semantics in Jupyter

Language: Python - Size: 4.49 MB - Last synced at: 6 days ago - Pushed at: 2 months ago - Stars: 27 - Forks: 7

woodrush/lambda-8cc

x86 C compiler written in untyped lambda calculus

Language: Common Lisp - Size: 1.47 MB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 657 - Forks: 16

misterdown/lmachine

lmachine - stb-like lambda calculus evaluator

Language: C - Size: 17.6 KB - Last synced at: about 2 months ago - Pushed at: about 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: about 1 month 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: about 2 months ago - Pushed at: about 2 months ago - Stars: 11 - Forks: 1

io12/lambda

Lambda calculus REPL written in C

Language: C - Size: 22.5 KB - Last synced at: about 1 month 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: about 2 months ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 0

steshaw/lennart-lambda

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

Language: Haskell - Size: 272 KB - Last synced at: 2 months ago - Pushed at: about 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: 18 days 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: about 2 months ago - Pushed at: about 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: 9 days ago - Pushed at: 3 months ago - Stars: 187 - Forks: 23

benji6/combinators-js

:bird: Some combinators

Language: JavaScript - Size: 271 KB - Last synced at: 7 days ago - Pushed at: 7 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: about 1 month ago - Pushed at: 3 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: 2 months ago - Pushed at: almost 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: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

marvinborner/bruijn

:abacus: Programming with pure lambda calculus

Language: Haskell - Size: 1.41 MB - Last synced at: 2 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: about 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: 13 days ago - Pushed at: over 6 years ago - Stars: 3 - Forks: 0

orsinium-labs/python-lambda-calculus

Lambda Calculus things implemented on Python

Language: Python - Size: 41 KB - Last synced at: 3 months ago - Pushed at: almost 6 years ago - Stars: 85 - Forks: 8

Educorreia932/Recording

🎥 REPL for a polymorphic record-calculus

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

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: 14 days ago - Pushed at: 11 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: 3 months ago - Pushed at: 3 months ago - Stars: 3 - Forks: 0

kevinlopaq/cmtt

Type-checker for CMTT

Language: Haskell - Size: 85 KB - Last synced at: 3 months ago - Pushed at: 3 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: 3 months ago - Pushed at: 5 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: 3 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: 10 days 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: 2 months ago - Pushed at: 3 months ago - Stars: 3 - Forks: 0

bogo8liuk/pir

Pi-calculus as Intermediate Representation

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

bmqn/whisp

Stack-based functional programming language.

Language: C++ - Size: 1.94 MB - Last synced at: 3 months ago - Pushed at: 3 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: 3 months ago - Pushed at: over 1 year ago - Stars: 13 - Forks: 1

gwr3n/jsdp

A Java Stochastic Dynamic Programming Library

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

konstantinosKokos/spindle

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

Language: Python - Size: 105 KB - Last synced at: 3 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: 3 months ago - Pushed at: almost 5 years ago - Stars: 6 - Forks: 0

codedot/lambda

Macro Lambda Calculus

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

dariotrinchero/lambda-calc

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: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

maeln/LambdaHindleyMilner

Java implementation of Hindley Milner type inference algorithm for lambda calculus.

Language: Java - Size: 71.3 KB - Last synced at: 3 months ago - Pushed at: about 6 years ago - Stars: 11 - Forks: 0

sshwy/lamcalc

An implementation and tutorial for Lambda Calculus in Rust

Language: Rust - Size: 192 KB - Last synced at: 4 days ago - Pushed at: 3 months ago - Stars: 9 - Forks: 2

niltok/magic-in-ten-mins

十分钟魔法练习

Language: HTML - Size: 31.5 MB - Last synced at: 3 months ago - Pushed at: almost 2 years ago - Stars: 800 - Forks: 38

Genivia/Husky

🐺 Husky is a lazy functional language similar to Haskell, but with a more conventional syntax

Language: Prolog - Size: 122 KB - Last synced at: 3 months ago - Pushed at: almost 5 years ago - Stars: 14 - Forks: 1

susisu/Grasspiler

Untyped lambda calculus to Grass compiler

Language: JavaScript - Size: 30.3 KB - Last synced at: about 1 month ago - Pushed at: over 8 years ago - Stars: 2 - Forks: 0

susisu/Grassy

Toolkit for the Grass programming language

Language: Haskell - Size: 64.5 KB - Last synced at: 3 months ago - Pushed at: over 7 years ago - Stars: 9 - Forks: 0

yiyunliu/system-f-omega

Strong normalization and parametricity for System Fω in Coq

Language: Coq - Size: 235 KB - Last synced at: 3 months ago - Pushed at: 10 months ago - Stars: 3 - Forks: 1

sjsyrek/malc

Make a lambda calculus.

Language: Python - Size: 67.4 KB - Last synced at: 3 months ago - Pushed at: over 4 years ago - Stars: 85 - Forks: 11

Deducteam/nubo

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

Language: Makefile - Size: 124 KB - Last synced at: 3 months ago - Pushed at: about 2 years ago - Stars: 2 - Forks: 0

discus-lang/iron

Coq formalizations of functional languages.

Language: Coq - Size: 800 KB - Last synced at: 3 months ago - Pushed at: almost 5 years ago - Stars: 143 - Forks: 8

DisguisedPigeon/Lambda-Interpreter

A basic lambda calculus interpreter written in ocaml. This was written as a university project for Diseño de Lenguajes de Programacion.

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

mell-o-tron/Lambda-Compiler

A compiler of the Lambda-Calculus to 16-bit x86 assembly code

Language: OCaml - Size: 2.39 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 2 - Forks: 0

cedille/cedille

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

Language: Agda - Size: 19.3 MB - Last synced at: 4 months ago - Pushed at: over 1 year ago - Stars: 374 - Forks: 27

luca-schlecker/typst-lambdabus

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

Language: Typst - Size: 939 KB - Last synced at: 4 months ago - Pushed at: 8 months ago - Stars: 2 - Forks: 0

gergoerdi/interaction-nets

Haskell implementation of interaction net-based lambda evaluation

Language: Haskell - Size: 14.6 KB - Last synced at: 2 months ago - Pushed at: about 9 years ago - Stars: 20 - Forks: 0

moonad-archive/Formality-JavaScript

An implementation of the Formality language in JavaScript

Language: JavaScript - Size: 6.28 MB - Last synced at: 3 days ago - Pushed at: almost 6 years ago - Stars: 71 - Forks: 4

ljedrz/blc

Binary lambda calculus

Language: Rust - Size: 63.5 KB - Last synced at: 19 days ago - Pushed at: over 7 years ago - Stars: 10 - Forks: 1

zhiayang/lambda

lambda calculus interpreter

Language: C++ - Size: 186 KB - Last synced at: 3 months ago - Pushed at: about 4 years ago - Stars: 40 - Forks: 5

woodrush/lambdacraft

Common Lisp DSL for building untyped lambda calculus expressions

Language: Common Lisp - Size: 434 KB - Last synced at: 3 months ago - Pushed at: 7 months ago - Stars: 25 - Forks: 1

sasagawa888/lambda

Lambda interpreter

Language: Elixir - Size: 21.5 KB - Last synced at: 3 months ago - Pushed at: over 5 years ago - Stars: 10 - Forks: 2

ganeshkumartk/1line

Convert any Python file into a single line of code.

Language: Python - Size: 99.6 KB - Last synced at: 3 months ago - Pushed at: about 6 years ago - Stars: 7 - Forks: 1

mroman42/mikrokosmos

(λ) Educational lambda calculus interpreter

Language: Haskell - Size: 3.27 MB - Last synced at: 24 days ago - Pushed at: over 4 years ago - Stars: 72 - Forks: 7

yurrriq/cedille-playground

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

Size: 8.79 KB - Last synced at: 4 months ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 0

chameco/reliquary

Concatenative dependently-typed functional programming language

Language: Haskell - Size: 73.2 KB - Last synced at: 7 days ago - Pushed at: about 8 years ago - Stars: 9 - Forks: 0

gallettilance/magnificATS

Collection of ATS goodness

Language: ATS - Size: 20.2 MB - Last synced at: 4 months ago - Pushed at: over 5 years ago - Stars: 35 - Forks: 2

WhatisRT/meta-cedille

Minimalistic dependent type theory with syntactic metaprogramming

Language: Agda - Size: 945 KB - Last synced at: 23 days ago - Pushed at: about 1 year ago - Stars: 57 - Forks: 0

Isaac-DeFrain/dependent

An implementation of dependently typed lambda calculus

Language: OCaml - Size: 43 KB - Last synced at: 3 months ago - Pushed at: almost 3 years ago - Stars: 5 - Forks: 0

lorepozo/program-induction

A library for program induction and learning representations.

Language: Rust - Size: 800 KB - Last synced at: 28 days ago - Pushed at: over 1 year ago - Stars: 30 - Forks: 7

marvinborner/lambda-screen

🎨 Drawing images with lambda calculus

Language: JavaScript - Size: 143 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 8 - Forks: 0

alexbuyan/LambdaCalculator

Library to work with lambda calculus

Language: Haskell - Size: 4.88 KB - Last synced at: 16 days ago - Pushed at: over 3 years ago - Stars: 7 - Forks: 0

StardustDL/lamcal

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

Language: Vue - Size: 657 KB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 8 - Forks: 2

mireklzicar/awesome-lambda-calculus

Size: 4.88 KB - Last synced at: about 2 months ago - Pushed at: 11 months ago - Stars: 1 - Forks: 1

grame-cncm/elody

Elody: a music composition environment based on a visual functional language.

Language: Java - Size: 134 MB - Last synced at: 2 months ago - Pushed at: almost 7 years ago - Stars: 10 - Forks: 1

thma/lambda-ski

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

Language: Haskell - Size: 822 KB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 29 - Forks: 1

ncfavier/glam

Polymorphic guarded λ-calculus

Language: Haskell - Size: 3.63 MB - Last synced at: 3 months ago - Pushed at: 8 months ago - Stars: 13 - Forks: 0

Lemniscate-world/Robust-Lambda

Building a functional untyped lambda calculus interpreter with a visual reduction tracer.

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