Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 7 Lambda Calculus Church Encoding Open Source Projects

Open source projects categorized as Lambda Calculus Church Encoding
Categories > Church Encoding
Categories > Mathematics > Lambda Calculus
Plam ⭐ 441
An interpreter for learning and exploring pure λ-calculus
most recent commit 3 years ago
Lambda Talk ⭐ 246
A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
most recent commit 5 years ago
Church ⭐ 123
⛪ Church Encoding in JS
dependent packages 2total releases 17most recent commit 4 months agonpm church} Downloads
Lambda_calculus ⭐ 85
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
dependent packages 1total releases 40most recent commit 7 months agocargo lambda_calculus} Downloads
Bruijn ⭐ 60
🧮 Programming with pure lambda calculus
most recent commit 3 months ago
Js Church Encoding ⭐ 33
Church Encoding Implementation in JavaScript
most recent commit 2 years ago
Lambda Calculus In Js ⭐ 6
Lambda Kalkül für praktisches vanilla JavaScript - IP5 HS2019 / IP6 HS2020
most recent commit a year ago
The 2 Most Depended On Lambda Calculus Church Encoding Open Source Projects
Church ⭐ 123
:church: Church Encoding in JS
dependent packages 2total releases 17latest release June 29, 2020most recent commit 4 months agonpm church} Downloads
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
The 2 Latest Releases In Lambda Calculus Church Encoding Open Source Projects
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
Church ⭐ 123
:church: Church Encoding in JS
dependent packages 2total releases 17latest release June 29, 2020most recent commit 4 months agonpm church} Downloads
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.