#optimization

eOn v2 and beyond

Rust numeric library with high performance and friendly syntax

Framework for modelling dynamical complex systems

A versatile simulation and optimization platform for power-system planning and operations.

A library to help with analyzing a database. It then make suggestions for improvement or can apply them automatically if you like to live dangerously. For the most part it reports recent expensive queries, missing indexes, overlapping indexes, and unused indexes. However it can be expanded upon to add your own analyzer.

An intuitive modeling interface for infinite-dimensional optimization problems.

Timber market Model for policy-Based Analysis

Probabilistic modelling and uncertainty quantification library

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

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.

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.