39 Repositories
Rust cost-optimization Libraries
It's a library AND a binary, but at what cost?
aria-of-borrow It's a library AND a binary, but at what cost? This is a simple toy project that demonstrates the various failure modes of trying to ma
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
Zero-cost and safe interface to UEFI firmware
ZFI – Zero-cost and safe interface to UEFI firmware ZFI is a Rust crate for writing a UEFI application with the following goals: Provides base APIs th
a cross-chain dollar cost averaging
Ethtent an intent-solver infrastructure prototype for automated defi earning Demo Video here Project Desciption We build an intent-solver infrastructu
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
Maximizing average happiness privately & securely
mpc-matching Maximizing average happiness privately & securely. What? Suppose there's a group of n ladies and n lads, and they want to be matched in p
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
Adds zero-cost stack overflow protection to your embedded programs
flip-link adds zero-cost stack overflow protection to your embedded programs The problem Bare metal Rust programs may not be memory safe in presence o
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
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 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.
Engula empowers engineers to build reliable and cost-effective databases.
Engula is a storage engine that empowers engineers to build reliable and cost-effective databases with less effort and more confidence. Engula is in t
zero runtime cost default arguments in rust
Default Arguments in Rust Enables default arguments in rust by macro in zero cost. Just wrap function with default_args! and macro with name of functi
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
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
Zero-cost asynchronous programming in Rust
Zero-cost asynchronous programming in Rust Documentation | Website futures-rs is a library providing the foundations for asynchronous programming in R
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
Zero-cost high-level lua 5.3 wrapper for Rust
td_rlua This library is a high-level binding for Lua 5.3. You don't have access to the Lua stack, all you can do is read/write variables (including ca