目录标签

#simplex

公开记录中带有此标签的全部仓库——标签来自其 GitHub 主题或软件包注册表发布的关键词。健康度量遵循与记录其余部分相同的版本化方法论。

3 条记录

标签为“simplex”按健康指数排序

npm · PyPI

93卓越健康指数

SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

Haskell · Kotlin · Swift★ 19.5K↓ 1,242/月2026年9月19日

AGPL-3.02026年9月19日 · 指标 2.10.0

PyPI · NuGet

89优秀健康指数

ERGO-Code/HiGHS

Linear optimization software

C++★ 1,827↓ 3,149/月2026年9月10日

MIT2026年9月10日 · 指标 2.10.0

crates.io · npm · PyPI

73良好健康指数

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★ 57↓ 8,800/月2026年9月11日

Apache-2.02026年9月11日 · 指标 2.10.0