Awesome Open Source
Awesome Open Source
Combined Topics
lambda-calculus x
Advertising 📦 9
All Projects
Application Programming Interfaces 📦 120
Applications 📦 181
Artificial Intelligence 📦 72
Blockchain 📦 70
Build Tools 📦 111
Cloud Computing 📦 79
Code Quality 📦 28
Collaboration 📦 30
Command Line Interface 📦 48
Community 📦 81
Companies 📦 60
Compilers 📦 60
Computer Science 📦 74
Configuration Management 📦 39
Content Management 📦 167
Control Flow 📦 197
Data Formats 📦 77
Data Processing 📦 266
Data Storage 📦 132
Economics 📦 60
Frameworks 📦 198
Games 📦 122
Graphics 📦 103
Hardware 📦 148
Integrated Development Environments 📦 47
Learning Resources 📦 147
Legal 📦 28
Libraries 📦 119
Lists Of Projects 📦 21
Machine Learning 📦 336
Mapping 📦 61
Marketing 📦 15
Mathematics 📦 55
Media 📦 228
Messaging 📦 97
Networking 📦 304
Operating Systems 📦 84
Operations 📦 120
Package Managers 📦 52
Programming Languages 📦 229
Runtime Environments 📦 96
Science 📦 42
Security 📦 375
Social Media 📦 26
Software Architecture 📦 70
Software Development 📦 68
Software Performance 📦 57
Software Quality 📦 127
Text Editors 📦 45
Text Processing 📦 131
User Interface 📦 310
User Interface Components 📦 465
Version Control 📦 29
Virtualization 📦 68
Web Browsers 📦 38
Web Servers 📦 25
Web User Interface 📦 194

The Top 235 Lambda Calculus Open Source Projects on Github

Categories > Mathematics > Lambda Calculus
Write You A Haskell ⭐ 2,744
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Kind ⭐ 1,981
A modern proof language
Fp Core.rs ⭐ 644
A library for functional programming in Rust
Hol ⭐ 454
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 ⭐ 387
An interpreter for learning and exploring pure λ-calculus
Magic In Ten Mins ⭐ 358
十分钟魔法练习
Cedille ⭐ 291
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
Lambda ⭐ 287
🔮 Estudos obscuros de programação funcional
Lambda Talk ⭐ 246
A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
Curryhoward ⭐ 231
Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
Elsa ⭐ 141
Elsa is a lambda calculus evaluator
Awesome Functional Studies ⭐ 122
A curated list of functional programming resources to study the fp paradigm
Iron ⭐ 121
Coq formalizations of functional languages.
Y Combinator For Non Programmers ⭐ 118
🍱 Y Combinator for Non-programmers: A Wild Introduction to Computer Science
Combinators Js ⭐ 117
🐦 Some combinators
Church ⭐ 111
⛪️ Church Encoding in JS
Formality Javascript ⭐ 72
An implementation of the Formality language in JavaScript
Malc ⭐ 69
Make a lambda calculus.
Abella ⭐ 66
An interactive theorem prover based on lambda-tree syntax
Lambda ⭐ 65
Fun with λ calculus!
Gidti ⭐ 60
Book: Gentle Introduction to Dependent Types with Idris
Lambda Zero ⭐ 59
A minimalist pure lazy functional programming language
Salt ⭐ 55
The compilation target that functional programmers always wanted.
Lambda Machine ⭐ 53
A simple UI for evaluating expressions in the untyped lambda calculus
Mikrokosmos ⭐ 52
(λ) Educational lambda calculus interpreter
Lambda_calculus ⭐ 48
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
Vanilla Lang ⭐ 46
An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
Lfvm Stg ⭐ 45
Map lazy functional language constructs to LLVM IR
Pts ⭐ 41
implementation of Pure Type Systems (PTS) in Rust.
Lambdajs ⭐ 40
An interpreter of Lambda calculus written in JavaScript and working with JavaScript syntax.
Type Theory Compiler ⭐ 38
Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficient LLVM IR.
Ltext ⭐ 36
λtext - higher-order file applicator
Formality Core ⭐ 35
Specification of the Formality proof and programming language
Js Church Encoding ⭐ 34
Church Encoding Implementation in JavaScript
Zion ⭐ 33
A statically-typed strictly-evaluated garbage-collected readable programming language.
Lambda Scala ⭐ 32
Type level lambda calculus in Scala
Meta Cedille ⭐ 31
Minimalistic dependent type theory with syntactic metaprogramming
Lplzoo ⭐ 31
Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck
Lambda ⭐ 31
Macro Lambda Calculus
Python Lambda Calculus ⭐ 29
Lambda Calculus things implemented on Python
Krivine Machine ⭐ 29
Abstract krivine machine implementing call-by-name semantics. In OCaml.
Magnificats ⭐ 28
Collection of ATS goodness
Types And Programming Languages ⭐ 27
Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
Typed Calc ⭐ 24
Interpreter for simply typed lambda calculus implemented in JavaScript λ
Lambda Calculus ⭐ 24
An introduction to the Lambda Calculus
Type Theory ⭐ 21
Lecture note on Lambda Calculus and Types for FLOLAC
Lunarflow ⭐ 20
Lambda calculus go brrrr
Aws Lambda Workshop ⭐ 19
Some incremental examples suitable to host an AWS Lambda Functions workshop
Ats Blockchain ⭐ 19
⛓️ Blockchain + Smart contracts from scratch
System F ⭐ 18
Formalization of the polymorphic lambda calculus and its parametricity theorem
Bohm1.1 ⭐ 18
Bologna Optimal Higher-Order Machine, Version 1.1
Lambda ⭐ 17
lambda calculus interpreter
Universe Of Syntax ⭐ 14
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.
Pomagma ⭐ 14
An inference engine for extensional untyped λ-calculus
Silly K ⭐ 13
silly-k is an experimental hobby language inspired by K and APL
Lambdacalculusplayground ⭐ 13
An Android app that provides a visual interface for creating and evaluating lambda calculus expressions
Stepulc ⭐ 13
Efficient and single-steppable ULC evaluation algorithm
Abt Zoo ⭐ 13
Implementations of different lambda calculi with abstract binding trees.
Purity Project ⭐ 12
Contains realisations of common-used math functions and classical algorithms, written in Scala's pure-functional style.
Program Induction ⭐ 12
A library for program induction and learning representations.
Lambdacalculus Java ⭐ 12
Lambda calculus implemented in Java
Lambda Notebook ⭐ 11
Lambda Notebook: Formal Semantics in Jupyter
Y Combinator Tutorial ⭐ 11
An extremely short but hopefully enlightening explanation of the Y combinator
Dblib Linear ⭐ 10
Formalisation of the linear lambda calculus in Coq
Funq ⭐ 10
Functional Quantum Programming
Lamviz ⭐ 10
A visualiser for lambda terms as rooted maps.
Jml ⭐ 10
jml - a useful web/cloud minimal unikernel distributed operating system
Nabi ⭐ 9
the lazy and pure functional programming language
Thorin2 ⭐ 9
The Higher-Order Intermediate Representation
Ski ⭐ 9
SKI combinators
Lambdalab ⭐ 8
interactive λ-calculus for learning
Bruski ⭐ 8
"DeBruijn to SKI" Untyped language that compiles to Unlambda
Jsdp ⭐ 8
A Java Stochastic Dynamic Programming Library
Lambda M ⭐ 8
A lazy and untyped experimental programming language
Rola ⭐ 7
Really Outstanding LAmbda interpreter
Gazelle ⭐ 7
Gazelle - A scripting language inspired by LISP and Scheme
Cwfs ⭐ 7
Formalization of Categories with Families
Lambda Calculus ⭐ 7
lambda calculus interpreter
Elm Stlc ⭐ 7
Bidirectional type checker for the simply typed lambda calculus
Lambda ⭐ 7
Lambda calculus interpreter in OCaml
Dtlc ⭐ 6
Dependently typed lambda calculus - A Simple Proof Assistant
Tag_export ⭐ 6
An export of my digital library (Mathematics, Logic, Physics, Numerical Analysis, Machine Learning, Computer Science)
Lambda Diagrams ⭐ 6
Animations of lambda term reduction sequences
Cube.idr ⭐ 6
An implementation of the Lambda Cube in Idris.
Jupyter Mikrokosmos ⭐ 6
A Jupyter kernel for the Mikrokosmos lambda interpreter
Lambda ⭐ 6
Lambda interpreter
Lambdacalculusinterpreters ⭐ 6
Two interpreters for the lambda calculus: one simple and one with typing of ints, bools, and pairs.
Lambda2pi ⭐ 6
λ → π
Lfc Haskell ⭐ 6
🔮 An experiment with the simply typed lambda calculus, recursion schemes, Cofree, and extensible effects
Henk2000 ⭐ 6
Pure Type Systems for Functional Programming
Vlci ⭐ 6
Vorotynsky's lambda calculus interpreter
Nbe A Tutorial ⭐ 6
Checking Dependent Types with Normalization by Evaluation
Mikrokosmos Js ⭐ 6
Call Mikrokosmos from Javascript
Tapl Rs ⭐ 6
https://www.cis.upenn.edu/~bcpierce/tapl/
Ulc ⭐ 5
(un)Typed Lambda Calculus beta-reducer/type checker implemented in Rust.
Husky ⭐ 5
🐺 Husky is a lazy functional language similar to Haskell, but with a more conventional syntax
Lambda4j ⭐ 5
Lambda4j - Additional non-throwable and throwable Java 8 lambdas.
System F Pop ⭐ 5
Lambda Calc Spec ⭐ 5
Not that lambda calculus really needs a spec...
Acpplib ⭐ 5
A cpp lib
1-100 of 235 projects

Related Projects

Haskell Lambda Calculus Projects (65)
Functional Programming Lambda Calculus Projects (48)
Javascript Lambda Calculus Projects (31)
Interpreter Lambda Calculus Projects (30)
Programming Language Lambda Calculus Projects (28)
Haskell Functional Programming Lambda Calculus Projects (15)
Javascript Functional Programming Lambda Calculus Projects (14)
Rust Lambda Calculus Projects (14)
Lambda Calculus Church Encoding Projects (14)
Lambda Calculus Type System Projects (14)
Java Lambda Calculus Projects (12)
Haskell Programming Language Lambda Calculus Projects (12)
Haskell Interpreter Lambda Calculus Projects (12)
C Plus Plus Lambda Calculus Projects (12)
Lambda Calculus Dependent Types Projects (11)
Lambda Calculus Type Theory Projects (11)
Ocaml Lambda Calculus Projects (11)
Python Lambda Calculus Projects (11)
Repl Lambda Calculus Projects (11)
Haskell Lambda Calculus Type System Projects (10)
Scala Lambda Calculus Projects (10)
Compiler Lambda Calculus Projects (9)
Language Lambda Calculus Projects (9)
Lambda Calculus Combinatory Logic Projects (9)
Coq Lambda Calculus Projects (9)
Lambda Calculus System F Projects (9)
Functional Lambda Calculus Projects (8)
Advertising 📦 9
All Projects
Application Programming Interfaces 📦 120
Applications 📦 181
Artificial Intelligence 📦 72
Blockchain 📦 70
Build Tools 📦 111
Cloud Computing 📦 79
Code Quality 📦 28
Collaboration 📦 30
Command Line Interface 📦 48
Community 📦 81
Companies 📦 60
Compilers 📦 60
Computer Science 📦 74
Configuration Management 📦 39
Content Management 📦 167
Control Flow 📦 197
Data Formats 📦 77
Data Processing 📦 266
Data Storage 📦 132
Economics 📦 60
Frameworks 📦 198
Games 📦 122
Graphics 📦 103
Hardware 📦 148
Integrated Development Environments 📦 47
Learning Resources 📦 147
Legal 📦 28
Libraries 📦 119
Lists Of Projects 📦 21
Machine Learning 📦 336
Mapping 📦 61
Marketing 📦 15
Mathematics 📦 55
Media 📦 228
Messaging 📦 97
Networking 📦 304
Operating Systems 📦 84
Operations 📦 120
Package Managers 📦 52
Programming Languages 📦 229
Runtime Environments 📦 96
Science 📦 42
Security 📦 375
Social Media 📦 26
Software Architecture 📦 70
Software Development 📦 68
Software Performance 📦 57
Software Quality 📦 127
Text Editors 📦 45
Text Processing 📦 131
User Interface 📦 310
User Interface Components 📦 465
Version Control 📦 29
Virtualization 📦 68
Web Browsers 📦 38
Web Servers 📦 25
Web User Interface 📦 194
"GitHub" is a registered trademark of GitHub, Inc. Awesome Open Source is not affiliated with GitHub.

All non readme contents or Github based topics or project metadata copyright Awesome Open Source 2018-2021