Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 19 Rust Calculus Open Source Projects

Open source projects categorized as Rust Calculus
Eole ⭐ 92
Éole, a Lévy-optimal lambda calculus evaluator without oracle
most recent commit 4 years 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
Minitt Rs ⭐ 68
Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust
dependent packages 5total releases 7most recent commit 4 years agocargo minitt-util} Downloads
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
Neural Net ⭐ 35
An educational neural net library in Rust
most recent commit 2 years ago
Types And Programming Languages ⭐ 27
Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
most recent commit 4 years ago
Type Theory ⭐ 27
Typed λ-calculus in Rust
most recent commit 10 months ago
Computationbook Rust ⭐ 22
Example code for Understanding Computation http://computationbook.com/ in Rust
most recent commit 5 years ago
Iodyn Lang.rust ⭐ 14
IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
most recent commit 6 years ago
Tapl In Rust ⭐ 13
most recent commit 7 years ago
N2o ⭐ 12
N2O: Rust Application Server
most recent commit 5 years ago
Lazycop ⭐ 9
A connection prover with lazy paramodulation.
most recent commit 3 years ago
Autodj ⭐ 8
Automatic Differentiation Library
total releases 22most recent commit 3 months ago
L Lang Parser Rs ⭐ 7
A parser for a toy strict untyped λ-calculus language called L-lang.
most recent commit 3 years ago
Polarization ⭐ 7
Simulate the polarization of a laser beam
total releases 6most recent commit 5 years ago
Lamcal ⭐ 6
A lambda calculus parser, evaluator and repl
dependent packages 1total releases 5most recent commit 2 years agocargo lamcal} Downloads
Ulc ⭐ 5
(un)Typed Lambda Calculus beta-reducer/type checker implemented in Rust.
most recent commit 7 years ago
The 5 Most Depended On Rust Calculus Open Source Projects
Minitt Rs ⭐ 68
Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust
dependent packages 5total releases 7latest release September 21, 2020most recent commit 4 years agocargo minitt-util} 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
Lamcal ⭐ 6
A lambda calculus parser, evaluator and repl
dependent packages 1total releases 5latest release October 06, 2018most recent commit 2 years agocargo lamcal} 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 7 Latest Releases In Rust 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
Autodj ⭐ 8
Automatic Differentiation Library
total releases 22latest release July 23, 2023most recent commit 3 months ago
Minitt Rs ⭐ 68
Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust
dependent packages 5total releases 7latest release September 21, 2020most recent commit 4 years agocargo minitt-util} Downloads
Polarization ⭐ 7
Simulate the polarization of a laser beam
total releases 6latest release August 21, 2019most recent commit 5 years ago
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
Lamcal ⭐ 6
A lambda calculus parser, evaluator and repl
dependent packages 1total releases 5latest release October 06, 2018most recent commit 2 years agocargo lamcal} 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.