Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io "symbolic" keyword
mathrs
Scientific, numeric and symbolic mathematical crate for computing with Rust.5 versions - Latest release: about 1 month ago - 1 dependent package - 1 dependent repositories - 4.02 thousand downloads total - 1 maintainer
izia 0.5.0
Interactive Shell for the Zia Programming Language5 versions - Latest release: over 4 years ago - 3.01 thousand downloads total - 7 stars on GitHub - 1 maintainer
radius2 1.0.27
a fast symbolic execution framework using r229 versions - Latest release: 5 months ago - 10.2 thousand downloads total - 561 stars on GitHub - 1 maintainer
symbolica 0.5.0
A blazing fast computer algebra system14 versions - Latest release: 20 days ago - 3.89 thousand downloads total - 95 stars on GitHub - 1 maintainer
hypercpu 0.0.2
Distributed symbolic computation2 versions - Latest release: about 1 year ago - 633 downloads total - 0 stars on GitHub - 1 maintainer
generic_symbolic_expressions 5.0.3
This crate is a fork of symbolic-expressions, which tweaks it to be more normal. The original cra...2 versions - Latest release: 7 months ago - 1 dependent package - 586 downloads total - 0 stars on GitHub - 1 maintainer
eiche 0.1.1
A library with tools for working with symbolic expressions.2 versions - Latest release: 4 months ago - 729 downloads total - 6 stars on GitHub - 1 maintainer
cassie 0.1.2
A simple, limited computer algebra system written for the fun of it.3 versions - Latest release: over 5 years ago - 2.07 thousand downloads total - 1 stars on GitHub - 1 maintainer
reform 0.1.0
A symbolic manipulation toolkit which aims to handle expressions with billions of terms, taking u...1 version - Latest release: over 5 years ago - 719 downloads total - 1 maintainer
rme 0.1.0
RMe, short for Rust Math Engine, is a high-performance computer algebra system (CAS) library writ...1 version - Latest release: about 1 month ago - 216 downloads total - 0 stars on GitHub - 1 maintainer
biodivine-lib-param-bn 0.5.10
Library for working with parametrized Boolean networks.26 versions - Latest release: about 2 months ago - 2 dependent packages - 2 dependent repositories - 12.5 thousand downloads total - 2 stars on GitHub - 3 maintainers
biodivine-lib-bdd 0.5.17
A simple thread-safe implementation of basic binary decision diagrams.25 versions - Latest release: 17 days ago - 7 dependent packages - 5 dependent repositories - 16.5 thousand downloads total - 16 stars on GitHub - 3 maintainers
symboscript-interpreter 0.17.1
SymboScript interpreter16 versions - Latest release: 5 months ago - 4.27 thousand downloads total - 6 stars on GitHub - 1 maintainer
symboscript-formatter 0.6.16
SymboScript formatter16 versions - Latest release: 5 months ago - 4.32 thousand downloads total - 6 stars on GitHub - 1 maintainer
symboscript-types 0.18.1
A symbolic programming language SymboScript types21 versions - Latest release: 5 months ago - 6 dependent packages - 6.21 thousand downloads total - 6 stars on GitHub - 1 maintainer
symboscript-optimizer 0.7.21
SymboScript optimizer17 versions - Latest release: 5 months ago - 1 dependent package - 4.74 thousand downloads total - 6 stars on GitHub - 1 maintainer
gep_toolkit 0.2.3
Gene Expressions Programming toolkit5 versions - Latest release: over 1 year ago - 1.51 thousand downloads total - 4 stars on GitHub - 1 maintainer
symboscript-utils 0.6.17
SymboScript utils21 versions - Latest release: 5 months ago - 4 dependent packages - 5.83 thousand downloads total - 6 stars on GitHub - 1 maintainer
symboscript-lexer 0.8.4
SymboScript lexer20 versions - Latest release: 5 months ago - 2 dependent packages - 5.56 thousand downloads total - 6 stars on GitHub - 1 maintainer
symboscript-parser 0.11.4
SymboScript parser20 versions - Latest release: 5 months ago - 2 dependent packages - 5.45 thousand downloads total - 6 stars on GitHub - 1 maintainer
Top 8.3% on crates.io
51 versions - Latest release: about 2 months ago - 6 dependent packages - 37 dependent repositories - 545 thousand downloads total - 205 stars on GitHub - 1 maintainer
good_lp 1.8.1
Mixed Integer Linear Programming for Rust, with an user-friendly API. This crate allows modeling...51 versions - Latest release: about 2 months ago - 6 dependent packages - 37 dependent repositories - 545 thousand downloads total - 205 stars on GitHub - 1 maintainer
klee-bindings 0.1.0
Raw bindings to the KLEE library using bindgen1 version - Latest release: about 3 years ago - 503 downloads total - 0 stars on GitHub - 1 maintainer
sylvan-sys 1.1.0
Bindings for the Sylvan parallel decision diagrams library.2 versions - Latest release: over 1 year ago - 778 downloads total - 3 stars on GitHub - 1 maintainer
symbolic_polynomials 0.1.0
A library for manipulation of polynomials over the integers.3 versions - Latest release: over 7 years ago - 14.4 thousand downloads total - 14 stars on GitHub - 1 maintainer
klee-rs 0.1.1
A safe KLEE API for Rust2 versions - Latest release: almost 3 years ago - 838 downloads total - 3 stars on GitHub - 1 maintainer
cycle 0.4.1
modern and safe symbolic mathematics11 versions - Latest release: over 2 years ago - 3.95 thousand downloads total - 20 stars on GitHub - 1 maintainer
haybale 0.7.2
Symbolic execution of LLVM IR, written in Rust20 versions - Latest release: 7 months ago - 1 dependent package - 1 dependent repositories - 8.89 thousand downloads total - 506 stars on GitHub - 1 maintainer
biodivine-hctl-model-checker 0.2.2
Library for symbolic HCTL model checking on partially defined Boolean networks.11 versions - Latest release: 6 months ago - 4.19 thousand downloads total - 0 stars on GitHub - 4 maintainers
rusymbols 0.1.2
rusymbols is a Rust crate for symbolic mathematics. It aims to become a full-featured computer al...3 versions - Latest release: over 3 years ago - 2 dependent packages - 1 dependent repositories - 5.14 thousand downloads total - 23 stars on GitHub - 1 maintainer
haybale-pitchfork 0.4.1
Verifying constant-time code with symbolic execution6 versions - Latest release: over 2 years ago - 2.5 thousand downloads total - 40 stars on GitHub - 1 maintainer
symboscript-analyzer 0.5.0
SymboScript analyzer2 versions - Latest release: 5 months ago - 582 downloads total - 6 stars on GitHub - 1 maintainer
symbolic_expressions 5.0.3
A symbolic-expression parser/writer41 versions - Latest release: over 6 years ago - 3 dependent packages - 188 dependent repositories - 393 thousand downloads total - 5 stars on GitHub - 2 maintainers
zia 0.5.0
Interpreter Library for the Zia Programming Language11 versions - Latest release: over 4 years ago - 1 dependent package - 1 dependent repositories - 6.06 thousand downloads total - 7 stars on GitHub - 1 maintainer
Related Keywords
interpreter
9
symbolic-computation
9
symbolic-math
8
parser
8
lexer
8
cli
8
programming-language
8
symboscript
8
algebra
6
math
6
mathematics
3
execution
3
rust
3
language-programming
2
tacit
2
bdd
2
systems-biology
2
boolean-network
2
klee
2
llvm
2
expressions
2
smt
2
sexp
2
s-exp
2
physics
2
manipulation
2
test
1
verification
1
solvers
1
lpsolve
1
lp-modeler
1
linear-programs
1
cbc
1
optimization
1
parallel
1
polynomials
1
api
1
analysis
1
modeling
1
ir
1
model-checking
1
hctl
1
formulas
1
symbols
1
calculations
1
constant-time
1
analyzer
1
kicad
1
computer-algebra
1
symbolic-manipulation
1
computation
1
hypercpu
1
distributed
1
distributed-computing
1
parallel-computing
1
interpreted
1
tree
1
cas
1
asynchronous
1
graph
1
boolean-expression
1
homoiconic
1
scientific
1
numeric
1
formatter
1
types
1
optimizer
1
gene
1
regression
1
genetic
1
utils
1
linear-programming
1
solver
1