Composable numerical solvers for unconstrained and simple-bounds constrained convex optimization problems in Rust. WASM compatible
โ14Jul 10, 2025Updated 8 months ago
Alternatives and similar repositories for optimization-solvers
Users that are interested in optimization-solvers are comparing it to the libraries listed below
Sorting:
- ๐ปโ๏ธ Bera-Reth. A high performance Rust Execution Client for Berachain built on Reth SDK ๐ปโ๏ธโ35Mar 11, 2026Updated last 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
- Procedural macro for automatically implementing metrics description and initialization.โ24Feb 11, 2026Updated last month
- 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 last year
- Topological sort algorithmโ15Jan 15, 2026Updated 2 months ago
- โ11Sep 24, 2025Updated 5 months ago
- โ10Sep 22, 2022Updated 3 years ago
- Delve into low-level RISC Zero machineโ30Dec 25, 2023Updated 2 years ago
- Fast, secure, RFC-compliant WebSocket implementation for Rust, supporting compressionโ87Feb 18, 2026Updated last month
- Drop a video. Get perfect captions. Fast.โ42Nov 4, 2025Updated 4 months ago
- Solidity implementation of CDF with 1e-8 precision.โ14Jul 17, 2024Updated last year
- Reproduction of the $80M Rari Finance Hack on April 30 2022 using on-chain fuzzing with Echidnaโ14Jun 16, 2024Updated last year
- Notebooks showing how to use CryptoUtilitiesโ14Apr 17, 2025Updated 11 months ago
- โ15Dec 8, 2023Updated 2 years ago
- Caching sparse Merkle Patricia Trie for reth.โ12Nov 18, 2024Updated last year
- โ18Jun 17, 2024Updated last year
- Proof of concept implementation of Sigmabus https://eprint.iacr.org/2023/1406โ10Dec 20, 2023Updated 2 years ago
- Solidity static analyzerโ82Dec 7, 2023Updated 2 years ago
- Reproducible hardened Linux images for confidential computing and safe MEVโ17Updated this week
- A persistent, robust, and composable proposal service for rollup stacks written in pure rust.โ17Mar 23, 2023Updated 2 years ago
- Go Bindings for the Solidity Compilerโ17Mar 9, 2026Updated last week
- A repo for learning how to parallelize computations in the GPU using Apple's Metal, in Rust.โ10Mar 17, 2023Updated 3 years ago
- Compare Bloxroute and Fiber transaction streamsโ10Nov 22, 2024Updated last year
- A test library for computing modular exponentiation in parallel using AVX-512 vector arithmeticโ12Dec 18, 2023Updated 2 years ago
- Disputify - Visualisation for fault dispute games.โ12Jul 22, 2023Updated 2 years ago
- 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โ11Nov 2, 2024Updated last year
- 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
- ๐พ notes and resources on applied cryptography for decentralized protocols, both for privacy and optimization (e.g., zk, tees, fhe, mpc, โฆโ24Dec 2, 2025Updated 3 months ago
- A 2-round lattice-based threshold signature from standard assumptionsโ17Apr 11, 2025Updated 11 months ago
- flexible JSON to Model converter, specially optimized for immutable propertiesโ28Mar 17, 2020Updated 6 years ago