Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io "calculus" keyword
lambda_calculus 3.2.2
A simple, zero-dependency implementation of pure lambda calculus in Safe Rust41 versions - Latest release: 8 months ago - 1 dependent package - 1 dependent repositories - 26 thousand downloads total - 97 stars on GitHub - 1 maintainer
HorseShoe 0.0.1
A Rust Language Infinitesimal Calculus crate4 versions - Latest release: over 5 years ago - 2.79 thousand downloads total - 5 stars on GitHub - 1 maintainer
rnum 0.0.1
RNum is a cutting-edge library for advanced mathematical calculations, designed for efficient and...1 version - Latest release: 2 months ago - 307 downloads total - 0 stars on GitHub - 1 maintainer
ast_topology 💰
Differentiable programming for Rust4 versions - Latest release: about 1 month ago - 1.66 thousand downloads total - 2 stars on GitHub - 1 maintainer
joker_calculus 0.11.0
An implementation of Joker Calculus in Rust12 versions - Latest release: 8 months ago - 3.88 thousand downloads total - 5 stars on GitHub - 1 maintainer
lambda_calc 2.2.2
A command-line untyped lambda calculus interpreter.7 versions - Latest release: almost 4 years ago - 3.04 thousand downloads total - 1 maintainer
nrfind 1.0.3
A set of useful mathematical functions for floating point numbers based on the Newton-Raphson met...8 versions - Latest release: over 4 years ago - 2 dependent packages - 4 dependent repositories - 46.6 thousand downloads total - 9 stars on GitHub - 1 maintainer
snail_nn 0.1.0
small neural network libary, running on the cpu with parallelized stochastic gradient descent1 version - Latest release: 10 months ago - 326 downloads total - 3 stars on GitHub - 1 maintainer
raa_tt 0.4.1
Proves sentences of propositional calculus5 versions - Latest release: 4 months ago - 1.32 thousand downloads total - 1 maintainer
punc 1.0.18 💰
Pun Calculus20 versions - Latest release: 5 months ago - 1 dependent package - 5.37 thousand downloads total - 2 stars on GitHub - 1 maintainer
lamcal 0.4.0
A lambda calculus parser and interpreter5 versions - Latest release: over 5 years ago - 1 dependent package - 1 dependent repositories - 3.59 thousand downloads total - 9 stars on GitHub - 1 maintainer
lamcal-repl 0.4.0
A lambda calculus command line repl6 versions - Latest release: over 5 years ago - 3.54 thousand downloads total - 9 stars on GitHub - 1 maintainer
blc 0.6.0
An implementation of the binary lambda calculus.17 versions - Latest release: over 6 years ago - 1 dependent repositories - 12.1 thousand downloads total - 7 stars on GitHub - 1 maintainer
number-diff 0.1.4
number-based is an attempt of mine to make working with calculus easier.5 versions - Latest release: 6 months ago - 1.39 thousand downloads total - 0 stars on GitHub - 1 maintainer
numerical-integration 0.0.1
Algorithms and traits for numerical approximation1 version - Latest release: over 2 years ago - 537 downloads total - 0 stars on GitHub - 1 maintainer
vml
Vedang's Math Library2 versions - Latest release: 21 days ago - 484 downloads total - 1 stars on GitHub - 1 maintainer
ferrate 0.0.4
A Rust Math Library2 versions - Latest release: 10 months ago - 532 downloads total - 1 stars on GitHub - 1 maintainer
numerilib 0.1.2
A Rust Mathematics Library3 versions - Latest release: 8 months ago - 807 downloads total - 1 stars on GitHub - 1 maintainer
autodj 0.5.3
Automatic Differentiation Library26 versions - Latest release: 2 months ago - 6.67 thousand downloads total - 9 stars on GitHub - 1 maintainer
Related Keywords
mathematics
8
math
6
rust
6
lambda
5
repl
3
parser
3
cargo
3
crate
3
library
3
linear-algebra
3
matrix
3
matrix-functions
3
rust-lang
3
statistics
3
stats
3
functional
3
lambda-calculus
3
evaluator
2
sciene
2
neural-network
2
machine-learning
2
automatic-differentiation
2
algorithms
2
rust-library
2
numeric
2
computer-science
1
language
1
programming-language
1
interpreter
1
combinator
1
jacobian
1
evalute
1
interpret
1
derivative
1
gradient
1
parse
1
binary
1
church
1
binaryformat
1
encoding
1
comp-math
1
maths
1
dual-number
1
numbers
1
functions
1
calc
1
integration
1
approximation
1
dual-numbers
1
derivatives
1
automatic
1
computational-mathematics
1
differentiable
1
machine
1
optimization
1
scientific
1
numerics
1
stump-fu-encoding
1
ski-combinators
1
scott-encoding
1
reduction-strategies
1
parigot-encoding
1
lambda-interpreter
1
lambda-functions
1
lambda-expressions
1
embedded-iterators-encoding
1
debruijn
1
combinatory-logic
1
church-encoding
1
beta-reduction
1
combinators
1
pun
1
propositional
1
parallelism
1
matrix-library
1
gradient-descent
1
ai
1
newton-raphson
1
root
1
cli
1
logic
1
philosophy
1
advancedresearch
1
joker
1
procedural
1
macros
1
ast-topology
1
intelligience
1
artificial
1
learning
1