34 Repositories
Rust numerical-optimization Libraries
Salty and Sweet one-line Rust Runtime Optimization Library
SAS SAS (Salty-And-Sweet) is an one-line Rust runtime optimization library. Features NUMA-aware rayon: numa feature should be enabled If you have 1 NU
🦀 A Rust CLI to find the optimal time to meet given a when2meet URL
when3meet 🦀 The Rust when2meet CLI Install | Usage | Contributing & Issues | Docs Built with ❤️ and 🦀 by Garrett Ladley Install cargo install when3m
A blazingly fast compiling & optimization tool for CosmWasm smart contracts.
cw-optimizoor A blazingly fast alternative to CosmWasm/rust-optimizer for compiling & optimizing CW smart contracts. It's primarily meant to speed up
A Rust-powered linear programming library for Python.
Dantzig: A Rust-powered LP library for Python Dantzig is a lightweight and concise linear programming solver suitable for small and large-scale proble
Image optimization using Rust and Vips 🦀
Huffman Image optimization using Rust and Libvips. Requirements You must have the following packages installed before getting started Rust Vips pkg-co
Cost saving K8s controller to scale down and up of resources during non-business hours
Kube-Saver Motivation Scale down cluster nodes by scaling down Deployments, StatefulSet, CronJob, Hpa during non-business hours and save $$, but if yo
A library and application for lossless, format-preserving, two-pass optimization and repair of Vorbis data, reducing its size without altering any audio information.
OptiVorbis A library and application for lossless, format-preserving, two-pass optimization and repair of Vorbis data, reducing its size without alter
A type-safe, high speed programming language for scalable systems
A type-safe, high speed programming language for scalable systems! (featuring a cheesy logo!) note: the compiler is unfinished and probably buggy. if
A cargo subcommand that displays the assembly generated for Rust source code
cargo-show-asm A cargo subcommand that displays the assembly generated for Rust source code.
A neural network model that can approximate any non-linear function by using the random search algorithm for the optimization of the loss function.
random_search A neural network model that can approximate any non-linear function by using the random search algorithm for the optimization of the los
A standalone Aleo prover build upon snarkOS and snarkVM, with multi-threading optimization
Aleo Light Prover Introduction A standalone Aleo prover build upon snarkOS and snarkVM, with multi-threading optimization. It's called "light" because
OptFrame is an optimization framework focused in metaheuristic techniques
optframe-rust Welcome to OptFrame project in Rust. What is OptFrame? OptFrame is an optimization framework focused in metaheuristic techniques, develo
Optimize floating-point expressions for accuracy
Herbie automatically improves the error of floating point expressions. Visit our website for tutorials, documentation, and an online demo. Herbie has
Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
A pure, low-level tensor program representation enabling tensor program optimization via program rewriting
Glenside is a pure, low-level tensor program representation which enables tensor program optimization via program rewriting, using rewriting frameworks such as the egg equality saturation library.
TP - Optimization of the energy consumption of a Matrix Multiplication
Optimization de la consommation: Multiplication de matrices Nous allons travailler sur la multiplication de matrices denses. C’est un algorithme class
Twiggy🌱 is a code size profiler
Twiggy 🌱 A code size profiler for Wasm Guide | Contributing | Chat Built with 🦀 🕸 by The Rust and WebAssembly Working Group About Twiggy is a code
A rustc plugin to check for numerical instability
Herbie lint for Rust What This plugin can add warnings or errors to your crate when using a numerically unstable floating point expression. Quick exam
Rust implementation of custom numeric base conversion.
base_custom Use any characters as your own numeric base and convert to and from decimal. This can be taken advantage of in various ways: Mathematics:
A keyboard layout optimizer for layouts of the
Keyboard Layout Optimizer Neo variant layout optimizer written in rust. The optimizer is based on the "evolve-keyboard-layout" scripts by ArneBab. It
Finding the shortest and fastest path in the graph to optimize traffic.
Finding the shortest and fastest path in the graph to optimize traffic. Because we don't want to spend unnecessary time searching for the optimal route back to home.
Devmode is a project management utility for developers.
Dev(mode) Dev(mode) is a project management utility for developers.
Automated image compression for efficiently distributing images on the web.
Imager Apparently this project made it into the GitHub Archive Program. About Imager is a tool for automated image compression, and can competitively
Execute genetic algorithm (GA) simulations in a customizable and extensible way.
genevo genevo provides building blocks to run simulations of optimization and search problems using genetic algorithms (GA). The vision for genevo is
Lossless compressor and decompressor for numerical data using quantiles
This rust library compresses and decompresses sequences of numerical data very well. It currently supports the following data types: i32, i64, u32, u64, f32, f64. Smaller data types like i16 can be efficiently compressed by casting to i32. Timestamp support may come soon in the future.
Rust implementation of real-coded GA for solving optimization problems and training of neural networks
revonet Rust implementation of real-coded genetic algorithm for solving optimization problems and training of neural networks. The latter is also know
Rust numeric library with R, MATLAB & Python syntax
Peroxide Rust numeric library contains linear algebra, numerical analysis, statistics and machine learning tools with R, MATLAB, Python like macros. W
Linearly Constrained Separable Optimization
LCSO (Linearly Constrained Separable Optimization) Authors The original algorithms here were developed by Nicholas Moehle, and this project was author
Linear Programming for Rust, with an user-friendly API. This crate allows modeling LP problems, and let's you solve them with various solvers.
good_lp A Linear Programming modeler that is easy to use, performant with large problems, and well-typed. use good_lp::{variables, variable, coin_cbc,
A simple guide for optimizing linux in detail
Optimizing Linux I am writing this guide as to save my progress and let others contribute to increase the performance even further, after all many are
Collection of Optimization algorithm in Rust
rustimization A rust optimization library which includes L-BFGS-B and Conjugate Gradient algorithm. Documentation The simplest way to use these optimi
Mathematical optimization in pure Rust
argmin A pure Rust optimization framework This crate offers a numerical optimization toolbox/framework written entirely in Rust. It is at the moment p
Rust implementation of real-coded GA for solving optimization problems and training of neural networks
revonet Rust implementation of real-coded genetic algorithm for solving optimization problems and training of neural networks. The latter is also know
Execute genetic algorithm (GA) simulations in a customizable and extensible way.
genevo genevo provides building blocks to run simulations of optimization and search problems using genetic algorithms (GA). The vision for genevo is