1 个仓库
Awesome GitHub RepositoriesHigh-Reliability Development Frameworks
Development environments combining functional and imperative paradigms to enforce logic correctness.
Distinct from Reliability Engineering: Distinct from general reliability engineering: focuses on the specific hybrid language semantics used for ergonomic, stable application development.
Explore 1 awesome GitHub repository matching software engineering & architecture · High-Reliability Development Frameworks. Refine with filters or upvote what's useful.
Awesome High-Reliability Development Frameworks 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
Combines functional programming semantics with imperative syntax to enforce logic correctness while maintaining an ergonomic structure for developing complex and stable applications.
TypeScript
