Lib.rs

› Keywords #program-reducer #test-case-reduction #optimization #mcmc #lbfgs

#minimization

  1. ganesh

    Minimization and sampling in Rust, simplified

    v0.27.0 250 #optimization #mcmc #minimization #sampling

  2. minuit2

    Pure Rust port of CERN Minuit2 parameter optimization engine

    v0.4.2 #optimization #minimization #physics

  3. liblbfgs-compliant-rs

    Faithful pure-rust version of libLBFGS

    v0.1.4 #minimization #quasi-newton #optimization #lbfgs

  4. espresso-logic

    Rust bindings for the Espresso heuristic logic minimizer (UC Berkeley)

    v3.1.2 #boolean #minimization #espresso #pla #logic

  5. treereduce

    Fast, syntax-aware, multi-language program reducer based on delta debugging

    v0.4.1 1.8K #test-case-reduction #program-reducer #minimization

  6. treereduce-rust

    Fast, parallel, syntax-aware program reducer for Rust

    v0.4.1 #test-case-reduction #program-reducer #minimization #rust

  7. treereduce-c

    Fast, parallel, syntax-aware program reducer for C

    v0.4.1 #test-case-reduction #c #program-reducer #minimization

  8. treereduce-souffle

    Fast, parallel, syntax-aware program reducer for Soufflé

    v0.4.1 #test-case-reduction #souffle #program-reducer #minimization

  9. treereduce-java

    Fast, parallel, syntax-aware program reducer for Java

    v0.4.1 #test-case-reduction #java #program-reducer #minimization

  10. treereduce-javascript

    Fast, parallel, syntax-aware program reducer for JavaScript

    v0.4.1 #test-case-reduction #javascript #program-reducer #minimization

  11. scivex-optim

    Scivex — Optimization, root finding, and numerical integration

    v0.1.1 #numerical-methods #minimization #scientific-computing #optimization #ode

  12. treereduce-swift

    Fast, parallel, syntax-aware program reducer for Swift

    v0.4.1 #test-case-reduction #program-reducer #minimization #swift

  13. treereduce-lua

    Fast, parallel, syntax-aware program reducer for Lua

    v0.4.1 #test-case-reduction #program-reducer #minimization #lua

  14. optimization-solvers

    Numerical optimization solvers for unconstrained and simple-bounds constrained convex optimization problems. Wasm compatible

    v0.1.1 #optimization-solver #convex-optimization #minimization #math #convex

  15. rustamath_mnmz

    Minimization functions

    v0.1.1 210 #scientific #minimization #search

  16. optimization

    Collection of optimization algorithms

    v0.2.0 13K #numeric #minimization

  17. molcrafts-molrs-embed

    3D coordinate generation for MolCrafts molecular modeling

    v0.0.15 #molecular #molecular-modeling #coordinates #3d #force-field #minimization #molrs #rotor #geometry #data-model

    18. Try searching with DuckDuckGo.

  18. quinemccluskey-rs

    quine mccluskey algorithm for minimization of boolean functions

    v0.1.0 #algorithm #minimization #boolean #binary #quine #binary-representation #terms