Composable numerical solvers for unconstrained and simple-bounds constrained convex optimization problems in Rust. WASM compatible
โ15Jul 10, 2025Updated 9 months ago
Alternatives and similar repositories for optimization-solvers
Users that are interested in optimization-solvers are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ๐ปโ๏ธ Bera-Reth. A high performance Rust Execution Client for Berachain built on Reth SDK ๐ปโ๏ธโ38Updated this week
- ๐ค This project involves developing a Maximal Extractable Value (MEV) agent designed to optimize order execution by matching a set of ordโฆโ14Nov 22, 2024Updated last year
- Demo for learning frontrun bot arbitrageโ19Jun 18, 2023Updated 2 years ago
- Collective of intent community to keep track of all projects working within this ecosystem.โ19Aug 12, 2024Updated last year
- Consensus layer peer-to-peer connection setupโ17Jun 18, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean โข AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Procedural macro for automatically implementing metrics description and initialization.โ24Apr 14, 2026Updated 2 weeks ago
- Behold the almighty ๐ฟtotem๐ฟโ19Sep 19, 2024Updated last year
- โ12Sep 25, 2022Updated 3 years ago
- Cute Animated Button written in Swift. ็น่ตๆ้ฎใๅจ็ปใๆ้ฎๅจ็ปโ14Dec 22, 2021Updated 4 years ago
- Rust-libp2p transport for {t,n}-threshold signature schemesโ34Jul 8, 2022Updated 3 years ago
- Frontend for the Saber dapp.โ11Mar 25, 2024Updated 2 years ago
- Topological sort algorithmโ14Apr 6, 2026Updated 3 weeks ago
- โ11Sep 24, 2025Updated 7 months ago
- Run LLMs on Apple devices with CoreML, optimized for Apple Neural Engine + GPUโ100Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer โข AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Delve into low-level RISC Zero machineโ31Dec 25, 2023Updated 2 years ago
- Fast, secure, RFC-compliant WebSocket implementation for Rust, supporting compressionโ95Apr 21, 2026Updated last week
- Solidity implementation of CDF with 1e-8 precision.โ14Jul 17, 2024Updated last year
- Drop a video. Get perfect captions. Fast.โ43Nov 4, 2025Updated 5 months ago
- Notebooks showing how to use CryptoUtilitiesโ14Apr 17, 2025Updated last year
- Reproduction of the $80M Rari Finance Hack on April 30 2022 using on-chain fuzzing with Echidnaโ14Jun 16, 2024Updated last year
- An asynchronous OSINT tool for IP address intelligence that aggregates data from multiple APIs to provide accurate geolocation, network, โฆโ50Feb 6, 2026Updated 2 months ago
- โ15Dec 8, 2023Updated 2 years ago
- Caching sparse Merkle Patricia Trie for reth.โ12Nov 18, 2024Updated last year
- GPU virtual machines on DigitalOcean Gradient AI โข AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Reproducible hardened Linux images for confidential computing and safe MEVโ19Updated this week
- Proof of concept implementation of Sigmabus https://eprint.iacr.org/2023/1406โ10Dec 20, 2023Updated 2 years ago
- Solidity static analyzerโ83Dec 7, 2023Updated 2 years ago
- Go Bindings for the Solidity Compilerโ18Mar 30, 2026Updated last month
- A persistent, robust, and composable proposal service for rollup stacks written in pure rust.โ17Mar 23, 2023Updated 3 years ago
- โ18Jun 17, 2024Updated last year
- Disputify - Visualisation for fault dispute games.โ12Jul 22, 2023Updated 2 years ago
- A test library for computing modular exponentiation in parallel using AVX-512 vector arithmeticโ12Dec 18, 2023Updated 2 years ago
- A repo for learning how to parallelize computations in the GPU using Apple's Metal, in Rust.โ10Mar 17, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI โข AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Compare Bloxroute and Fiber transaction streamsโ10Nov 22, 2024Updated last year
- Tendermint implementation of the blockchain of Aleo verifiable computing model built by LambdaClassโ15Feb 8, 2023Updated 3 years ago
- CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundnessโ11Apr 15, 2026Updated 2 weeks ago
- A test suite for working with Uniswap v4 Hooksโ12Jun 20, 2023Updated 2 years ago
- The entry point for Rust projects to be run on Validaโ10Mar 14, 2025Updated last year
- A 2-round lattice-based threshold signature from standard assumptionsโ18Apr 11, 2025Updated last year
- flexible JSON to Model converter, specially optimized for immutable propertiesโ28Mar 17, 2020Updated 6 years ago