PyPI · npm
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.
MITSep 15, 2026 · metrics 2.10.0
All tags
Catalogue tag
#effect-system
Every repository in the public record carrying this tag — from its GitHub topics or the keywords its package registries publish. Health is measured under the same versioned methodology as the rest of the record.
2 records
npm
tombaldwin/candor-ts
TypeScript slice of candor-spec — the derivability proof: written from the spec alone, 20/20 on the shared conformance oracle.
Apache-2.0Sep 13, 2026 · metrics 2.10.0