A design by contract library for Zig
-
Updated
Oct 3, 2025 - Zig
#
software-correctness
Here are 5 public repositories matching this topic...
Upstream fixes and case studies in runtime lifetimes, SQL correctness, LLVM lowering, and CUDA kernels.
-
Updated
Sep 18, 2026 - HTML
Rivar is a minimal, contract-first, class-based programming language inspired by Eiffel.
programming-language parser ocaml syntax-tree language-design preconditions dbc design-by-contract postconditions software-correctness experimental-language class-invariants
-
Updated
Apr 1, 2025 - OCaml
A portable AI skill for discovering, classifying, and challenging invariants in any modeled system.
-
Updated
Aug 8, 2026
A catalog of epistemic sensors for software correctness — the observable signals that reduce uncertainty about whether a system is correct
mutation-testing static-analysis formal-methods code-quality software-testing observability software-correctness ai-code-review coding-agents llms-txt mcp-server harness-engineering
-
Updated
Sep 15, 2026 - Python
Add this topic to your repo
To associate your repository with the software-correctness topic, visit your repo's landing page and select "manage topics."