Open Source Libs
Find Open Source Packages
Open Source Libraries
👉
Lambda Calculus
79 Open Source Lambda Calculus Software Projects
Free and open source lambda calculus code projects including engines, APIs, generators, and tools.
Write You A Haskell
3093 ⭐
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Formality
2091 ⭐
A modern proof language
Fp Core.rs
948 ⭐
A library for functional programming in Rust
Hol
485 ⭐
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.
Plam
409 ⭐
An interpreter for learning and exploring pure λ-calculus
Pagarme Lambda
305 ⭐
🔮 Estudos obscuros de programação funcional
Lambda Talk
377 ⭐
A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
Cedille
312 ⭐
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
Curryhoward
238 ⭐
Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
Ucsd Progsys Elsa
144 ⭐
Elsa is a lambda calculus evaluator
Discus Lang Iron
126 ⭐
Coq formalizations of functional languages.
Combinators JS
121 ⭐
:bird: Some combinators
Church
115 ⭐
:church: Church Encoding in JS
Y Combinator For Non Programmers
131 ⭐
🍱 Y Combinator for Non-programmers: A Wild Introduction to Computer Science
Formality Javascript
72 ⭐
An implementation of the Formality language in JavaScript
Malc
73 ⭐
Make a lambda calculus.
Gtramontina Lambda
68 ⭐
Fun with λ calculus!
Abella
73 ⭐
An interactive theorem prover based on lambda-tree syntax
Gidti
67 ⭐
Book: Gentle Introduction to Dependent Types with Idris
Discus Lang Salt
61 ⭐
The compilation target that functional programmers always wanted.
Lambda Zero
62 ⭐
A minimalist pure lazy functional programming language
Lambda Machine
53 ⭐
A simple UI for evaluating expressions in the untyped lambda calculus
Lfvm Stg
48 ⭐
Map lazy functional language constructs to LLVM IR
Vanilla Lang
69 ⭐
An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
Mikrokosmos
55 ⭐
(λ) Educational lambda calculus interpreter
Pts
46 ⭐
implementation of Pure Type Systems (PTS) in Rust.
Lambda.js
44 ⭐
An interpreter of Lambda calculus written in JavaScript and working with JavaScript syntax.
Type Theory Compiler
39 ⭐
Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficient LLVM IR.
Ltext
35 ⭐
λtext - higher-order file applicator
Types And Programming Languages
89 ⭐
Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
Formality Core
34 ⭐
Specification of the Formality proof and programming language
JS Church Encoding
33 ⭐
Church Encoding Implementation in JavaScript
Codedot Lambda
34 ⭐
Macro Lambda Calculus
Lambda Scala
33 ⭐
Type level lambda calculus in Scala
Lambda_calculus
56 ⭐
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
Magnificats
30 ⭐
Collection of ATS goodness
Krivine Machine
33 ⭐
Abstract krivine machine implementing call-by-name semantics. In OCaml.
Lplzoo
32 ⭐
Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck
Meta Cedille
33 ⭐
Minimalistic dependent type theory with syntactic metaprogramming
Typed Calc
30 ⭐
Interpreter for simply typed lambda calculus implemented in JavaScript λ
Lennart Lambda
41 ⭐
λλλλ Lennart Augustsson's λ-calculus cooked four ways
Lambda Calculus
35 ⭐
An introduction to the Lambda Calculus
Bohm1.1
35 ⭐
Bologna Optimal Higher-Order Machine, Version 1.1
Type Theory
25 ⭐
Lecture note on Lambda Calculus and Types for FLOLAC
System F
19 ⭐
Formalization of the polymorphic lambda calculus and its parametricity theorem
Aws Lambda Workshop
18 ⭐
Some incremental examples suitable to host an AWS Lambda Functions workshop
Zionlang Zion
36 ⭐
A statically-typed strictly-evaluated garbage-collected readable programming language.
Ats Blockchain
18 ⭐
⛓️ Blockchain + Smart contracts from scratch
Python Lambda Calculus
36 ⭐
Lambda Calculus things implemented on Python
Abt Zoo
16 ⭐
Implementations of different lambda calculi with abstract binding trees.
Lambdacalculus Java
16 ⭐
Lambda calculus implemented in Java
Pomagma
14 ⭐
An inference engine for extensional untyped λ-calculus
Universe Of Syntax
16 ⭐
A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with all the proofs you could possibly need.
Program Induction
21 ⭐
A library for program induction and learning representations.
Lambdacalculusplayground
15 ⭐
An Android app that provides a visual interface for creating and evaluating lambda calculus expressions
Silly K
14 ⭐
silly-k is an experimental hobby language inspired by K and APL
Stlc Agda
13 ⭐
STLC-related snippets in Agda
Purity Project
14 ⭐
Contains realisations of common-used math functions and classical algorithms, written in Scala's pure-functional style.
Lambda Notebook
15 ⭐
Lambda Notebook: Formal Semantics in Jupyter
Lambda Diagrams
44 ⭐
Animations of lambda term reduction sequences
Jml
10 ⭐
jml - a useful web/cloud minimal unikernel distributed operating system
Dblib Linear
9 ⭐
Formalisation of the linear lambda calculus in Coq
Linear Lambda Calculus
10 ⭐
An implementation of Linear Lambda Calculus.
Ski
20 ⭐
SKI combinators
Awesome Functional Studies
136 ⭐
A curated list of functional programming resources to study the fp paradigm
Magic In Ten Mins
421 ⭐
十分钟魔法练习
Lunarflow
25 ⭐
Lambda calculus go brrrr
Zhiayang Lambda
23 ⭐
lambda calculus interpreter
System_f_omega
21 ⭐
My Attempt at System Fω with Row-Polymorphism
Lambda Fibonacci
18 ⭐
Implementation of the Fibonacci sequence in JS using pure Lambda Calculus
Nicklasboto Funq
15 ⭐
Functional Quantum Programming
Stepulc
15 ⭐
Efficient and single-steppable ULC evaluation algorithm
Y Combinator Tutorial
12 ⭐
An extremely short but hopefully enlightening practical explanation of the Y combinator
Lambdalab
11 ⭐
interactive λ-calculus for learning
Lamviz
10 ⭐
A visualiser for lambda terms as rooted maps.
Chemlambda Gui
118 ⭐
Life like molecular computers with artificial chemistry.
Lambda Ski
13 ⭐
Implementing a small functional language with a combinator based graph-reduction machine
Bruski
10 ⭐
"DeBruijn to SKI" Untyped language that compiles to Unlambda
Interaction Nets
10 ⭐
Haskell implementation of interaction net-based lambda evaluation