Abstract mathematics made computational
☆33Feb 27, 2026Updated last week
Alternatives and similar repositories for cova
Users that are interested in cova are comparing it to the libraries listed below
Sorting:
- Grokking on modular arithmetic in less than 150 epochs in MLX☆14Oct 24, 2024Updated last year
- Automatic mesh generation.☆31Updated this week
- Discrete event simulator built in Rust 🦀☆13Jun 10, 2023Updated 2 years ago
- A somehow lock-free multi-agent coordination layer.☆46Dec 1, 2025Updated 3 months ago
- Smart contracts of the DFMM protocol☆22Apr 30, 2024Updated last year
- Mythic☆24Oct 15, 2024Updated last year
- Groth16 verifier in EVM☆23Jul 8, 2023Updated 2 years ago
- A visual studio code extension that automatically generate the stack comments for Huff.☆25Oct 16, 2023Updated 2 years ago
- 🔎 Highly optimized Solidity library of statistical functions rationally approximated☆28Oct 15, 2024Updated last year
- An apples-to-oranges comparison of Solady's `FixedPointMathLib.mulDiv` function vs. an equivalent Huffidity version☆28Mar 9, 2023Updated 2 years ago
- Model of LLAMMA for lending and stablecoin purposes☆37Dec 9, 2023Updated 2 years ago
- A small and fast FM-Index for Rust☆43Feb 1, 2026Updated last month
- Personal dotfiles☆31Feb 12, 2026Updated 3 weeks ago
- Composable OP Stack Orchestration☆41Nov 10, 2023Updated 2 years ago
- ☆33Sep 21, 2024Updated last year
- A book for makepad, want to quickly and easily to help you use makepad.☆40Feb 27, 2026Updated last week
- Trustless oracle of historical Uniswap v3 TWAP using ZK☆38May 11, 2023Updated 2 years ago
- Huff Implementation of VRGDAs☆41Sep 12, 2022Updated 3 years ago
- 锦书 [WIP]☆14Mar 26, 2022Updated 3 years ago
- Blockchain Reader Library☆10Jan 20, 2024Updated 2 years ago
- ☆46Feb 2, 2026Updated last month
- stochastic-rs is a Rust library designed for high-performance simulation and analysis of stochastic processes and models in quant finance…☆142Feb 26, 2026Updated last week
- A blazing-fast, scalable, and easy-to-setup service that tracks Ethereum validator performance using public beacon chain data.☆36Jan 14, 2026Updated last month
- Unified liquidity, accessible anywhere.☆23May 11, 2023Updated 2 years ago
- MathJax localization☆17Feb 9, 2026Updated 3 weeks ago
- Google Calendar CLI written in Rust☆13Apr 3, 2025Updated 11 months ago
- ☆12Mar 4, 2024Updated 2 years ago
- the c4 monorepo☆24Updated this week
- ☆15Jan 8, 2023Updated 3 years ago
- [moved] A playground akin to the Rust playground but for Dioxus.☆14Feb 5, 2025Updated last year
- Cross-platform Rust wrappers for the PCI ID Repository☆11Oct 3, 2025Updated 5 months ago
- ☆14Feb 23, 2026Updated last week
- A language protocol implementation for Huff☆14Nov 2, 2022Updated 3 years ago
- C-program for Feynman diagram generation☆10Jun 10, 2013Updated 12 years ago
- celq - A Common Expression Language (CEL) CLI Tool☆23Feb 7, 2026Updated 3 weeks ago
- ☆12Aug 2, 2022Updated 3 years ago
- Project starter template for writing Arbitrum Stylus programs in Rust☆52Jun 2, 2025Updated 9 months ago
- A thin rusty wrapper over the YuNet face detection network (aka `libfacedetect`)☆11Aug 26, 2025Updated 6 months ago
- A portable parser combinator library that does not require a runtime☆13Sep 16, 2019Updated 6 years ago