Тег каталогу

#effect-system

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

2 записи

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

PyPI · npm

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

gowrishankar-infra/velaris-lang

A programming language where signatures declare types, effects, and machine-checked promises — proven with Z3, compiled with LLVM. Built for trusting AI-written code.

Python · HTML★ 3↓ 9 055/міс15 вер. 2026 р.

MIT15 вер. 2026 р. · метрики 2.10.0

npm

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

tombaldwin/candor-ts

TypeScript slice of candor-spec — the derivability proof: written from the spec alone, 20/20 on the shared conformance oracle.

JavaScript★ 0↓ 2 921/міс13 вер. 2026 р.

Apache-2.013 вер. 2026 р. · метрики 2.10.0