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
biodivine-lib-param-bn 0.5.10
Library for working with parametrized Boolean networks.26 versions - Latest release: about 1 month 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: 4 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: 4 months ago - 4.27 thousand downloads total - 6 stars on GitHub - 1 maintainer
symboscript-formatter 0.6.16
SymboScript formatter16 versions - Latest release: 4 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: 4 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: 4 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: 4 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: 4 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: 4 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 1 month 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 1 month ago - 6 dependent packages - 37 dependent repositories - 545 thousand downloads total - 205 stars on GitHub - 1 maintainer
symbolica 0.5.0
A blazing fast computer algebra system13 versions - Latest release: 6 days ago - 3.46 thousand downloads total - 95 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: about 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
generic_symbolic_expressions 5.0.3
This crate is a fork of symbolic-expressions, which tweaks it to be more normal. The original cra...1 version - Latest release: 7 months ago - 1 dependent package - 522 downloads total - 0 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: 5 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: about 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
mathrs
Scientific, numeric and symbolic mathematical crate for computing with Rust.5 versions - Latest release: 18 days ago - 1 dependent package - 1 dependent repositories - 3.75 thousand downloads total - 1 maintainer
izia 0.5.0
Interactive Shell for the Zia Programming Language5 versions - Latest release: over 4 years ago - 2.81 thousand downloads total - 7 stars on GitHub - 1 maintainer
radius2 1.0.27
a fast symbolic execution framework using r228 versions - Latest release: 4 months ago - 8.61 thousand downloads total - 527 stars on GitHub - 1 maintainer
hypercpu 0.0.2
Distributed symbolic computation2 versions - Latest release: about 1 year ago - 538 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: 3 months ago - 638 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 - 1.92 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 - 668 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 - 113 downloads total - 0 stars on GitHub - 1 maintainer
Related Keywords
interpreter
9
symbolic-computation
9
symbolic-math
8
symboscript
8
programming-language
8
cli
8
lexer
8
parser
8
math
6
algebra
6
mathematics
3
rust
3
execution
3
smt
2
sexp
2
s-exp
2
bdd
2
klee
2
expressions
2
physics
2
manipulation
2
systems-biology
2
llvm
2
tacit
2
language-programming
2
boolean-network
2
symbols
1
formulas
1
hctl
1
model-checking
1
ir
1
calculations
1
constant-time
1
analyzer
1
kicad
1
scientific
1
numeric
1
homoiconic
1
interpreted
1
distributed
1
computation
1
hypercpu
1
distributed-computing
1
parallel-computing
1
tree
1
cas
1
asynchronous
1
graph
1
boolean-expression
1
formatter
1
types
1
optimizer
1
gene
1
regression
1
genetic
1
utils
1
linear-programming
1
solver
1
optimization
1
cbc
1
linear-programs
1
lp-modeler
1
lpsolve
1
solvers
1
computer-algebra
1
symbolic-manipulation
1
verification
1
test
1
parallel
1
polynomials
1
api
1
analysis
1
modeling
1