Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 13 Haskell Functional Programming Lambda Calculus Open Source Projects

Open source projects categorized as Haskell Functional Programming Lambda Calculus
Categories > Software Development > Functional Programming
Categories > Mathematics > Lambda Calculus
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
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 3 months agonpm church} Downloads
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
Salt ⭐ 55
The compilation target that functional programmers always wanted.
most recent commit 4 years 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
Lambda Ski ⭐ 27
Implementing a small functional language with a combinator based graph-reduction machine
most recent commit 6 months ago
Lambda M ⭐ 8
A lazy and untyped experimental programming language
most recent commit 6 years ago
Haskellcourse ⭐ 7
most recent commit 9 years ago
Gazelle ⭐ 7
Gazelle - A scripting language inspired by LISP and Scheme
most recent commit 5 years ago
Lambda Calculus Java ⭐ 6
Combinators and Lambda Calculus in Java
most recent commit 2 years ago
The 2 Most Depended On Haskell 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 3 months agonpm church} Downloads
The 2 Latest Releases In Haskell Functional Programming Lambda Calculus Open Source Projects
Church ⭐ 123
:church: Church Encoding in JS
dependent packages 2total releases 17latest release June 29, 2020most recent commit 3 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.