crates.io
a16z/dory
A high performance and modular implementation of the Dory polynomial commitment scheme
Apache-2.010 серп. 2026 р. · метрики 2.10.0
Усі теги
Тег каталогу
#polynomial
Усі репозиторії публічного реєстру з цим тегом — із тем GitHub або ключових слів, які публікують їхні реєстри пакетів. Здоров'я вимірюється за тією ж версіонованою методологією, що й решта реєстру.
3 записи
crates.io · npm · PyPI
cool-japan/oxiz
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.
Apache-2.019 лип. 2026 р. · метрики 2.10.0
npm
FlorisSteenkamp/FloPoly
A practical, root-focused JavaScript polynomial utility library.
Без ліцензії6 серп. 2026 р. · метрики 2.10.0