Тег каталогу

#simplex

Усі репозиторії публічного реєстру з цим тегом — із тем GitHub або ключових слів, які публікують їхні реєстри пакетів. Здоров'я вимірюється за тією ж версіонованою методологією, що й решта реєстру.

2 записи

З тегом «simplex»Упорядковано за індексом здоров'я

PyPI · NuGet

76Добрийіндекс здоров'я

ERGO-Code/HiGHS

Linear optimization software

C++★ 1 730↓ 5 077/міс18 лип. 2026 р.

MIT18 лип. 2026 р. · метрики 1.13.0

crates.io · npm · PyPI

61Помірнийіндекс здоров'я

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.

Rust★ 49↓ 9 818/міс19 лип. 2026 р.

Apache-2.019 лип. 2026 р. · метрики 1.13.0