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.
A pure functional language written in words: a function carries its examples and postconditions, the compiler proves termination before anything runs and prints the checked program into C, C++, Go, Rust, Java, JavaScript, Elixir, Python or C#. Self-hosted; building it needs only cc and make.
Candidate executable language for formalizing physical structure and AI-assisted scientific reasoning
Static analysis for every desktop binary
Cross-repository dogfood fixture for MCP Evidence Gate Action integration evidence.
An executable formal specification of the EVM, in Lean 4
AI-native trustworthy systems language specification and executable K0 semantics
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."