1 个仓库
Awesome GitHub RepositoriesRuntime Invariant Enforcers
Mechanisms that apply strict validation rules to types and strings at runtime to ensure information remains consistent and error-free.
Distinct from Runtime Data Validation: Distinct from general runtime data validation: focuses on enforcing specific data invariants throughout the application lifecycle rather than just schema validation.
Explore 1 awesome GitHub repository matching security & cryptography · Runtime Invariant Enforcers. Refine with filters or upvote what's useful.
Awesome Runtime Invariant Enforcers GitHub Repositories
用 AI 发现最棒的仓库。我们将通过 AI 为您搜索最匹配的仓库。
- microsoft/bosquelanguage
microsoft/BosqueLanguage
5,215在 GitHub 上查看Bosque is an experimental programming language and development platform designed for machine-assisted software construction. It combines functional programming semantics with imperative syntax to enforce logic correctness and runtime safety, providing a type-safe environment that utilizes structured data models to maintain information integrity throughout the application lifecycle. The platform distinguishes itself through deep integration with formal verification tools, including automated theorem provers and symbolic execution engines. By transforming source code into a regularized intermed
Applies strict validation rules to types and strings to ensure information remains consistent and reliable throughout the application lifecycle.
TypeScript
