#optimization

Context engineering for AI agents. ~80% fewer tokens. Fix tool overload. Skills and memory with in-process BM25 and semantic retrieval. Progressive Disclosure. No vector DB.

Linear Programming for Rust, with a user-friendly API. This crate allows modeling LP problems, and lets you solve them with various solvers.

Timber market Model for policy-Based Analysis

Simple version information constants generator

Javascript linear programming library

Numerical optimization in Rust, with pluggable linear-algebra backends and WASM support.

🎵 Powerful audio processing for your media workflows.

Hardware accelerated, batchable and differentiable optimizers in JAX.

Hardware-aware CLI that detects NPUs/GPUs, finds compatible GGUF models, and recommends optimal llama.cpp inference configs

Python API for AMPL

OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to reimplement Z3 in Pure Rust. Pure Rust is a fundamental requirement - no C/C++ dependencies, no FFI bindings, just clean, safe Rust code.

turns your codebase into an autoresearch loop — discovers what to measure, instruments the benchmark, then runs tree search with parallel subagents.

A Rollup plugin for minifying JavaScript bundles using Terser.

Rust functions for finding row-minima in monotone matrices.