crates.io "minimization" keyword
ganesh 0.26.2
Minimization and sampling in Rust, simplified52 versions - Latest release: about 1 month ago - 61 thousand downloads total - 1 stars on GitHub - 1 maintainer
optimization-solvers 0.1.1
Numerical optimization solvers for unconstrained and simple-bounds constrained convex optimizatio...2 versions - Latest release: 10 months ago - 1.35 thousand downloads total - 10 stars on GitHub - 1 maintainer
treereduce-javascript 0.4.1
Fast, parallel, syntax-aware program reducer for JavaScript7 versions - Latest release: 5 months ago - 5.7 thousand downloads total - 52 stars on GitHub - 1 maintainer
treereduce 0.4.1
Fast, syntax-aware, multi-language program reducer based on delta debugging8 versions - Latest release: 5 months ago - 8 dependent packages - 1 dependent repositories - 45 thousand downloads total - 52 stars on GitHub - 1 maintainer
treereduce-rust 0.4.1
Fast, parallel, syntax-aware program reducer for Rust8 versions - Latest release: 5 months ago - 7 thousand downloads total - 52 stars on GitHub - 1 maintainer
scivex-optim 0.1.0
Scivex — Optimization, root finding, and numerical integration1 version - Latest release: about 1 month ago - 0 downloads total - 0 stars on GitHub - 1 maintainer
treereduce-souffle 0.4.1
Fast, parallel, syntax-aware program reducer for Soufflé8 versions - Latest release: 5 months ago - 6.8 thousand downloads total - 52 stars on GitHub - 1 maintainer
treereduce-java 0.4.1
Fast, parallel, syntax-aware program reducer for Java8 versions - Latest release: 5 months ago - 6.79 thousand downloads total - 52 stars on GitHub - 1 maintainer
treereduce-c 0.4.1
Fast, parallel, syntax-aware program reducer for C8 versions - Latest release: 5 months ago - 6.98 thousand downloads total - 52 stars on GitHub - 1 maintainer
treereduce-swift 0.4.1
Fast, parallel, syntax-aware program reducer for Swift3 versions - Latest release: 5 months ago - 1.03 thousand downloads total - 92 stars on GitHub - 1 maintainer
espresso-logic 3.1.2
Rust bindings for the Espresso heuristic logic minimizer (UC Berkeley)7 versions - Latest release: 6 months ago - 321 downloads total - 1 maintainer
optimization 0.2.0
Collection of optimization algorithms3 versions - Latest release: about 6 years ago - 5 dependent packages - 5 dependent repositories - 41.7 thousand downloads total - 27 stars on GitHub - 1 maintainer
treereduce-lua 0.4.1
Fast, parallel, syntax-aware program reducer for Lua4 versions - Latest release: 5 months ago - 2.31 thousand downloads total - 52 stars on GitHub - 1 maintainer
liblbfgs-compliant-rs 0.1.4
Faithful pure-rust version of libLBFGS2 versions - Latest release: 27 days ago - 34 downloads total - 1 maintainer
Related Keywords
tree-sitter
8
test-reduction
8
test-case-minimization
8
program-reduction
8
delta-debugging
8
test-case-reduction
8
program-reducer
8
optimization
5
lbfgs
2
rust
2
ode
1
scientific-computing
1
souffle
1
java
1
c
1
swift
1
boolean
1
espresso
1
logic
1
pla
1
numeric
1
lua
1
quasi-newton
1
numerical-methods
1
javascript
1
spg
1
optimization-methods
1
optimization-algorithms
1
convex-optimization
1
bfgs
1
convex
1
solver
1
math
1
sampling
1
mcmc
1