Projects in Awesome Lists tagged with specification-framework
A curated list of projects in awesome lists tagged with specification-framework .
https://github.com/zuoyebang/aiweave
AI-native specification framework for Go backend microservices. With docs/ and .claude/skills/ alone, AI can rebuild your entire project from scratch. 25 specs, 17 Skills, strict code↔docs bidirectional sync.
ai-agents ai-coding ai-native code-generation spec-driven-development specification-framework
Last synced: 02 Jun 2026
https://github.com/hengxin/coq-rdt
Coq Implementation of the (vis, ar) Specification Framework for Replicated Data Types
coq replicated-data-types specification-framework
Last synced: 16 Jun 2026
