Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Lambda Calculus Open Source Projects

Open source projects categorized as Lambda Calculus
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
Egg ⭐ 1,164
egg is a flexible, high-performance e-graph library
dependent packages 6total releases 23most recent commit 4 months agocargo egg} Downloads
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
Hol ⭐ 572
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.
most recent commit 3 months ago
Plam ⭐ 441
An interpreter for learning and exploring pure λ-calculus
most recent commit 3 years ago
Cedille ⭐ 305
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
most recent commit 2 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
Lambdalisp ⭐ 187
A Lisp interpreter written in untyped lambda calculus
most recent commit a year ago
Elsa ⭐ 172
Elsa is a lambda calculus evaluator
total releases 8most recent commit 6 months ago
Glambda ⭐ 168
The home of the Glamorous Glambda interpreter
total releases 3most recent commit 5 years ago
Hindley Milner ⭐ 152
An implementation of Hindley-Milner in Clojure.
most recent commit 10 years 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
Chemlambda Gui ⭐ 117
Life like molecular computers with artificial chemistry.
most recent commit 2 years ago
Cosmicos ⭐ 109
Sending the lambda calculus into deep space
dependent packages 2total releases 2most recent commit 2 years agonpm cosmicos} Downloads
The 10 Most Depended On Lambda Calculus Open Source Projects
Formality Javascript ⭐ 72
An implementation of the Formality language in JavaScript
dependent packages 8total releases 369latest release November 25, 2020most recent commit 5 years agonpm formality-lang} Downloads
Egg ⭐ 1,164
egg is a flexible, high-performance e-graph library
dependent packages 6total releases 23latest release June 29, 2023most recent commit 4 months agocargo egg} Downloads
Pomagma ⭐ 15
An inference engine for extensional untyped λ-calculus
dependent packages 5total releases 13latest release July 23, 2015most recent commit a year agonpm pomagma} Downloads
Formality Core ⭐ 35
Specification of the Formality proof and programming language
dependent packages 3total releases 124latest release May 15, 2020most recent commit 4 years agonpm formality-core} Downloads
Combinators Js ⭐ 132
:bird: Some combinators
dependent packages 3total releases 14latest release January 19, 2020most recent commit 6 months agonpm combinators-js} Downloads
Lambda ⭐ 17
The Lambda Programming Language
dependent packages 3total releases 28latest release October 01, 2016most recent commit 7 years agonpm lambda} Downloads
Cosmicos ⭐ 109
Sending the lambda calculus into deep space
dependent packages 2total releases 2latest release August 28, 2014most recent commit 2 years agonpm cosmicos} 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
Js Lambda ⭐ 15
DSL for lambda calculus
dependent packages 2total releases 2latest release April 04, 2013most recent commit 8 years agonpm js-lambda} Downloads
Lambda ⭐ 31
Macro Lambda Calculus
dependent packages 2total releases 46latest release March 20, 2019most recent commit 5 years agonpm @alexo/lambda} Downloads
The 10 Latest Releases In Lambda Calculus Open Source Projects
Ltext ⭐ 36
λtext - higher-order file applicator
total releases 17latest release September 22, 2023most recent commit 3 months ago
Lambda_calculus ⭐ 85
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
dependent packages 1total releases 40latest release September 20, 2023most recent commit 7 months agocargo lambda_calculus} Downloads
Lsts ⭐ 96
A proof assistant that is also a programming language.
total releases 125latest release July 22, 2023most recent commit 3 months ago
Egg ⭐ 1,164
egg is a flexible, high-performance e-graph library
dependent packages 6total releases 23latest release June 29, 2023most recent commit 4 months agocargo egg} 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
Elsa ⭐ 172
Elsa is a lambda calculus evaluator
total releases 8latest release September 29, 2022most recent commit 6 months ago
Lambda Notebook ⭐ 22
Lambda Notebook: Formal Semantics in Jupyter
total releases 3latest release October 18, 2021most recent commit 4 months ago
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
Badlam ⭐ 19
Lambda analysis package
total releases 1latest release May 18, 2021most recent commit 3 years ago
Formality Javascript ⭐ 72
An implementation of the Formality language in JavaScript
dependent packages 8total releases 369latest release November 25, 2020most recent commit 5 years agonpm formality-lang} Downloads
Popular Mathematics Categories
Random
Mathematics
Numpy
Geometry
Measurements
Tensor
Probability
Algebra
Matrices
Theano
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.