Awesome Open Source
Awesome Open Source
Combined Topics
lambda-calculus
x
Advertising
📦 10
All Projects
Application Programming Interfaces
📦 124
Applications
📦 192
Artificial Intelligence
📦 78
Blockchain
📦 73
Build Tools
📦 113
Cloud Computing
📦 80
Code Quality
📦 28
Collaboration
📦 32
Command Line Interface
📦 49
Community
📦 83
Companies
📦 60
Compilers
📦 63
Computer Science
📦 80
Configuration Management
📦 42
Content Management
📦 175
Control Flow
📦 213
Data Formats
📦 78
Data Processing
📦 276
Data Storage
📦 135
Economics
📦 64
Frameworks
📦 215
Games
📦 129
Graphics
📦 110
Hardware
📦 152
Integrated Development Environments
📦 49
Learning Resources
📦 166
Legal
📦 29
Libraries
📦 129
Lists Of Projects
📦 22
Machine Learning
📦 347
Mapping
📦 64
Marketing
📦 15
Mathematics
📦 55
Media
📦 239
Messaging
📦 98
Networking
📦 315
Operating Systems
📦 89
Operations
📦 121
Package Managers
📦 55
Programming Languages
📦 245
Runtime Environments
📦 100
Science
📦 42
Security
📦 396
Social Media
📦 27
Software Architecture
📦 72
Software Development
📦 72
Software Performance
📦 58
Software Quality
📦 133
Text Editors
📦 49
Text Processing
📦 136
User Interface
📦 330
User Interface Components
📦 514
Version Control
📦 30
Virtualization
📦 71
Web Browsers
📦 42
Web Servers
📦 26
Web User Interface
📦 210
The Top 24 Lambda Calculus Open Source Projects
Categories
>
Mathematics
>
Lambda Calculus
Write You A Haskell
⭐
2,897
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Formality
⭐
1,431
A modern proof language
Fp Core.rs
⭐
749
A library for functional programming in Rust
Hol
⭐
405
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
⭐
381
An interpreter for learning and exploring pure λ-calculus
Lambda Talk
⭐
298
A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
Lambda
⭐
296
🔮 Estudos obscuros de programação funcional
Magic In Ten Mins
⭐
282
十分钟魔法练习
Cedille
⭐
279
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
Curryhoward
⭐
226
Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
Elsa
⭐
136
Elsa is a lambda calculus evaluator
Combinators Js
⭐
115
🐦 Some combinators
Iron
⭐
114
Coq formalizations of functional languages.
Church
⭐
106
⛪️ Church Encoding in JS
Y Combinator For Non Programmers
⭐
101
🍱 Y Combinator for Non-programmers: A Wild Introduction to Computer Science
Formality Javascript
⭐
71
An implementation of the Formality language in JavaScript
Lambda
⭐
65
Fun with λ calculus!
Mikrokosmos
⭐
48
(λ) Educational lambda calculus interpreter
Pts
⭐
41
implementation of Pure Type Systems (PTS) in Rust.
Lambda_calculus
⭐
41
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
Ltext
⭐
37
λtext - higher-order file applicator
Zion
⭐
34
A statically-typed strictly-evaluated garbage-collected readable programming language.
Aws Lambda Workshop
⭐
18
Some incremental examples suitable to host an AWS Lambda Functions workshop
Dblib Linear
⭐
10
Formalisation of the linear lambda calculus in Coq
1-24 of 24 projects
Advertising
📦 10
All Projects
Application Programming Interfaces
📦 124
Applications
📦 192
Artificial Intelligence
📦 78
Blockchain
📦 73
Build Tools
📦 113
Cloud Computing
📦 80
Code Quality
📦 28
Collaboration
📦 32
Command Line Interface
📦 49
Community
📦 83
Companies
📦 60
Compilers
📦 63
Computer Science
📦 80
Configuration Management
📦 42
Content Management
📦 175
Control Flow
📦 213
Data Formats
📦 78
Data Processing
📦 276
Data Storage
📦 135
Economics
📦 64
Frameworks
📦 215
Games
📦 129
Graphics
📦 110
Hardware
📦 152
Integrated Development Environments
📦 49
Learning Resources
📦 166
Legal
📦 29
Libraries
📦 129
Lists Of Projects
📦 22
Machine Learning
📦 347
Mapping
📦 64
Marketing
📦 15
Mathematics
📦 55
Media
📦 239
Messaging
📦 98
Networking
📦 315
Operating Systems
📦 89
Operations
📦 121
Package Managers
📦 55
Programming Languages
📦 245
Runtime Environments
📦 100
Science
📦 42
Security
📦 396
Social Media
📦 27
Software Architecture
📦 72
Software Development
📦 72
Software Performance
📦 58
Software Quality
📦 133
Text Editors
📦 49
Text Processing
📦 136
User Interface
📦 330
User Interface Components
📦 514
Version Control
📦 30
Virtualization
📦 71
Web Browsers
📦 42
Web Servers
📦 26
Web User Interface
📦 210