Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 12 Rust Lambda Calculus Open Source Projects

Open source projects categorized as Rust Lambda Calculus
Categories > Mathematics > Lambda Calculus
Egg ⭐ 1,164
egg is a flexible, high-performance e-graph library
dependent packages 6total releases 23most recent commit 4 months agocargo egg} Downloads
Fp Core.rs ⭐ 644
A library for functional programming in Rust
most recent commit 4 years ago
Lsts ⭐ 96
A proof assistant that is also a programming language.
total releases 125most recent commit 4 months ago
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
Lalrpop Lambda ⭐ 70
A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.
dependent packages 2total releases 3most recent commit 4 years agonpm lalrpop-lambda} Downloads
Rlci ⭐ 54
🦀 λ Overly-documented Rust-powered Lambda Calculus Interpreter.
most recent commit 5 months ago
Moniker ⭐ 42
Automagical variable binding library for Rust
dependent packages 1total releases 10most recent commit 5 years agocargo moniker-derive} Downloads
Pts ⭐ 41
implementation of Pure Type Systems (PTS) in Rust.
most recent commit 7 years ago
Types And Programming Languages ⭐ 27
Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
most recent commit 4 years ago
Algorithmw Rust ⭐ 17
A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.
most recent commit 8 years ago
Tapl Rs ⭐ 6
https://www.cis.upenn.edu/~bcpierce/tapl/
most recent commit 7 years ago
Ulc ⭐ 5
(un)Typed Lambda Calculus beta-reducer/type checker implemented in Rust.
most recent commit 7 years ago
The 4 Most Depended On Rust Lambda Calculus Open Source Projects
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
Lalrpop Lambda ⭐ 70
A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.
dependent packages 2total releases 3latest release June 23, 2019most recent commit 4 years agonpm lalrpop-lambda} Downloads
Moniker ⭐ 42
Automagical variable binding library for Rust
dependent packages 1total releases 10latest release October 13, 2018most recent commit 5 years agocargo moniker-derive} 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 5 Latest Releases In Rust Lambda Calculus 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
Lsts ⭐ 96
A proof assistant that is also a programming language.
total releases 125latest release July 22, 2023most recent commit 4 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
Lalrpop Lambda ⭐ 70
A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.
dependent packages 2total releases 3latest release June 23, 2019most recent commit 4 years agonpm lalrpop-lambda} Downloads
Moniker ⭐ 42
Automagical variable binding library for Rust
dependent packages 1total releases 10latest release October 13, 2018most recent commit 5 years agocargo moniker-derive} 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.