Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Functional Programming Lambda Calculus Open Source Projects

Open source projects categorized as Functional Programming Lambda Calculus
Categories > Software Development > Functional Programming
Categories > Mathematics > Lambda Calculus
Kind ⭐ 3,420
A next-gen functional language
dependent packages 2total releases 105most recent commit 5 months agonpm kind-lang} Downloads
Write You A Haskell ⭐ 2,744
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
most recent commit 4 years ago
Magic In Ten Mins ⭐ 693
十分钟魔法练习
most recent commit 8 months ago
Fp Core.rs ⭐ 644
A library for functional programming in Rust
most recent commit 4 years ago
Plam ⭐ 441
An interpreter for learning and exploring pure λ-calculus
most recent commit 3 years ago
Lambda ⭐ 287
🔮 Estudos obscuros de programação funcional
most recent commit 4 years ago
Lambda Talk ⭐ 246
A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
most recent commit 5 years ago
Curryhoward ⭐ 232
Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
total releases 15most recent commit 3 years ago
Cognate ⭐ 196
A human readable quasi-concatenative programming language
most recent commit 3 months ago
Y Combinator For Non Programmers ⭐ 145
🍱 Y Combinator for Non-programmers: A Wild Introduction to Computer Science
most recent commit a year ago
Awesome Functional Studies ⭐ 143
A curated list of functional programming resources to study the fp paradigm
most recent commit 2 years ago
Combinators Js ⭐ 132
🐦 Some combinators
dependent packages 3total releases 14most recent commit 6 months agonpm combinators-js} Downloads
Church ⭐ 123
⛪ Church Encoding in JS
dependent packages 2total releases 17most recent commit 4 months agonpm church} Downloads
Iron ⭐ 121
Coq formalizations of functional languages.
most recent commit 4 years ago
Birb ⭐ 70
🐦 Programming language that only consists of bird emojis
most recent commit 5 months ago
Malc ⭐ 69
Make a lambda calculus.
most recent commit 3 years ago
Lambda Zero ⭐ 67
minimalist pure lazy functional programming language (pythonic haskell)
most recent commit 3 months ago
Lambda ⭐ 65
Fun with λ calculus!
most recent commit 3 years ago
Salt ⭐ 55
The compilation target that functional programmers always wanted.
most recent commit 4 years ago
Rlci ⭐ 54
🦀 λ Overly-documented Rust-powered Lambda Calculus Interpreter.
most recent commit 5 months ago
Type Theory Compiler ⭐ 38
Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficient LLVM IR.
most recent commit 5 years ago
Python Lambda Calculus ⭐ 29
Lambda Calculus things implemented on Python
most recent commit 5 years ago
Magnificats ⭐ 28
Collection of ATS goodness
most recent commit 4 years ago
The 3 Most Depended On Functional Programming Lambda Calculus Open Source Projects
Combinators Js ⭐ 132
:bird: Some combinators
dependent packages 3total releases 14latest release January 19, 2020most recent commit 6 months agonpm combinators-js} Downloads
Church ⭐ 123
:church: Church Encoding in JS
dependent packages 2total releases 17latest release June 29, 2020most recent commit 4 months agonpm church} Downloads
Kind ⭐ 3,420
A next-gen functional language
dependent packages 2total releases 105latest release February 15, 2023most recent commit 5 months agonpm kind-lang} Downloads
The 4 Latest Releases In Functional Programming Lambda Calculus Open Source Projects
Kind ⭐ 3,420
A next-gen functional language
dependent packages 2total releases 105latest release February 15, 2023most recent commit 5 months agonpm kind-lang} Downloads
Curryhoward ⭐ 232
Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
total releases 15latest release August 23, 2021most recent commit 3 years ago
Church ⭐ 123
:church: Church Encoding in JS
dependent packages 2total releases 17latest release June 29, 2020most recent commit 4 months agonpm church} Downloads
Combinators Js ⭐ 132
:bird: Some combinators
dependent packages 3total releases 14latest release January 19, 2020most recent commit 6 months agonpm combinators-js} Downloads
Popular Software Development Categories
Continuous Integration
Functional Programming
Developer Tools
Generation
Jenkins
Continuous Deployment
Travis
Reverse Engineering
Changelog
Ci Cd
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.