GeezerVisonThe World Wide Web, restored to 800 pixels of glory. |
| Home|About|Gaming cabinet|Archives|How it works|Starter sites |
GeezerVison is showing github.com — Build software better, together
#
executable-specificationHere are 13 public repositories matching this topic...Language: All
Filter by language
Sort: Most stars
Sort options
A tool for Model Based Testing
test model test-suite formal-methods testing-framework test-case-generation testing-tool composable-models executable-specification
Executable Documentation
markdown specification-by-example acceptance-test-driven-development behaviour-driven-development executable-specification agentic-coding executable-contracts executable-documents
Understand any codebase, even the code you no longer master. On your machine, never in the cloud.
source-of-truth living-documentation legacy-code code-comprehension executable-specification ai-assisted-development ai-coding legacy-modernization spec-driven-development vibe-engineering codebase-understanding asdlc
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.
programming-language compiler functional-programming dsl c99 transpiler proof-assistant category-theory formal-methods code-generation self-hosting formal-verification multi-target static-typing postconditions russian-language executable-specification termination-analysis totality-checking
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.
haskell nix functional-programming smart-contracts blockchain proof consensus ledger specification domain-specific-language formal-specification utxo executable-specification eutxo lsabelle multi-era
An executable formal specification of the EVM, in Lean 4
Candidate executable language for formalizing physical structure and AI-assisted scientific reasoning
Static analysis for every desktop binary
windows static-analysis binary-analysis program-analysis os2 windows-9x windows-3-x executable-specification windows-executable linux-binary binary-prediction aout-executable windows-3x
Compile Gherkin behavior specs into executable tests for spec-driven teams — drift-checked behavior layer that bridges OpenSpec
bdd gherkin pytest sdd executable-specification ai-coding claude-code spec-driven-development openspec bddfirst
Catch AI-written code that passes its own tests and is still wrong: a runnable demo where a formal spec (Agda) is the live test oracle for a Go implementation
go property-based-testing agda formal-methods differential-testing executable-specification conformance-testing llm test-oracle ai-coding
Cross-repository dogfood fixture for MCP Evidence Gate Action integration evidence.
AI-native trustworthy systems language specification and executable K0 semantics
programming-language language-design formal-methods systems-programming executable-specification ai-native
Behavior-Preserving Simplified Implementation (BPSI): an experimental methodology for AI-assisted software engineering.
prototyping software-engineering behavior-driven-development ai-agents requirements-engineering executable-specification ai-software-engineering ai-coding spec-driven-development agentic-development
Add this topic to your repoTo associate your repository with the executable-specification topic, visit your repo's landing page and select "manage topics." |
| You are visitor 01402503 — GeezerVison does not store the pages you look up. Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required. |