A tool for Model Based Testing
Executable Documentation
Understand any codebase, even the code you no longer master. On your machine, never in the cloud.
Formal specifications and executable models of the Bcc Ledger across multiple eras. Includes Haskell code, LaTeX specs, and formal proofs for validation, testing, and reference implementation.
Static analysis for every desktop binary
Candidate executable language for formalizing physical structure and AI-assisted scientific reasoning
An executable formal specification of the EVM, in Lean 4
AI-native trustworthy systems language specification and executable K0 semantics
Cross-repository dogfood fixture for MCP Evidence Gate Action integration evidence.
Compile Gherkin behavior specs into executable tests for spec-driven teams — drift-checked behavior layer that bridges OpenSpec
Язык, в котором спецификация исполняется: компилятор доказывает завершение, печатает программу в восемь языков и сверяет напечатанное с интерпретатором
To associate your repository with the executable-specification topic, visit your repo's landing page and select "manage topics."