#optimization

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.

Simple version information constants generator

Javascript linear programming library

🎵 Powerful audio processing for your media workflows.

e-Stellarator Simulation and Optimization Suite

Simple Eigen-C++ wrapper for OSQP library

An intuitive modeling interface for infinite-dimensional optimization problems.

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

Package to optimize your site automatically which results in a 35%+ optimization. Laravel Page Speed delivers an end-to-end optimization pipeline for Blade-rendered pages and REST APIs with measurable gains in latency, bandwidth, and resiliency.

Scientific computing platform on NumPy/SciPy/pandas/matplotlib: linear algebra, stats, optimization, signals, ML, information theory, chaos, Bayes, metaheuristics, geometry and RL.

Rust functions for finding row-minima in monotone matrices.

Inline and sprite-based SVGs in Astro made easy!

A high-performance automatic differentiation library for Rust

A fast and fearless Collision Detection Engine for 2D nesting problems

Qwik + Astro

No repository description published.

Gram/dual-form Levenberg-Marquardt nonlinear least-squares solvers for JAX/Flax NNX models

Dynamic context pruning plugin for OpenCode - intelligently manages conversation context to optimize token usage

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