The framework for building app backends and microservices by specification-first API design approach based on the OpenAPI Specification 3
-
Updated
Mar 2, 2020 - Python
#
specification-first
Here are 6 public repositories matching this topic...
ASET Seed is the minimal implementation-neutral semantic kernel of ASET Alpha (Local Recognition Algebra), with independently authored operational, relational, and causal representations, formal assurance, mechanically checked three-way congruence, and reproducible release identity.
forth formal-methods petri-net formal-verification reproducible-builds abstract-machine semantic-interoperability open-standard tla-plus aset specification-first conformance-testing semantic-algebra causal-model implementation-neutral machine-readable-specification aset-seed authority-seeded-evidence-trail local-recognition three-way-assurance
-
Updated
Aug 18, 2026 - Python
Workbench for the Nitpick library ecosystem — the playbook for setting up and planning a library, and the registry of what exists.
ecosystem library playbook zero-dependency formal-verification systems-programming safety-critical software-design nitpick specification-first no-libc nitpick-lang monorepo-workbench
-
Updated
Oct 20, 2026 - Python
Specification-first RAG engineering playground for evaluation, observability, and comparative experiments
-
Updated
May 18, 2026 - Python
Docopt 2.0: Usage is Truth. A modular, type-safe CLI parsing pipeline built on Python frozen dataclasses and an immutable backtracking engine.
-
Updated
Mar 22, 2026 - Python
Persistent, agent-agnostic project context for AI coding agents.
-
Updated
Sep 5, 2026 - Python
Add this topic to your repo
To associate your repository with the specification-first topic, visit your repo's landing page and select "manage topics."