NSC measures neural architecture capacity directly from network specifications, without data, gradients, or model instantiation. Its additive structure enables exact architecture optimization under resource budgets in seconds on a CPU.
Transform legacy systems into executable specifications for AI coding agents
Specifications for OpenTelemetry
👨🚀 Turn API specifications into production-ready SDKs, validators, mocks, and more. 20+ plugins. Millions of weekly npm downloads. Used by Vercel, OpenCode, PayPal, AWS, Autodesk, and many more.
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Generate Go client and server boilerplate from OpenAPI 3 specifications
:angel: The ultimate angle brackets parser library parsing HTML5, MathML, SVG and CSS to construct a DOM based on the official W3C specifications.
Ethereum Consensus Specifications
The source for REST API specifications for Microsoft Azure.
Software synthesizer based on the SoundFont 2 specifications
Color conversion & manipulation library by the editors of the CSS Color specifications
BOLT: Basis of Lightning Technology (Lightning Network Specifications)
Technical specifications for the libp2p networking stack
A community repository of common plugin specifications
the kdl document language specifications
A collection of TLA⁺ specifications of varying complexities.
:bike: A preprocessor for anyone writing specifications that converts source files into actual specs.
Technical specifications for the IPFS protocol stack
Machine.Specifications is a Context/Specification framework for .NET that removes language noise and simplifies tests.
Spock example specifications along with ready-to-go Gradle and Maven builds
SVG Working Group specifications
A language agnostic test suite for the JSON Schema specifications
Software Specifications for Scala
LNURL Specifications
A tool that converts OpenAPI specifications to MCP server
An open-source documentation publishing tool built for MDX and OpenAPI. Seamlessly combine markdown, interactive JSX components, and API specifications to create modern, developer-friendly docs.
An open and modular implementation of the Solid specifications
Canonical specifications for Hiero Consensus Specifications (HCS) — originally written and maintained by Hashgraph Online
CSS3 syntax (and syntax defined in some foreign specifications) support for Vim's built-in syntax/css.vim
Specifications for Interledger and related protocols
🎨 Agentic skill for Qwen-Image-2.1: Rewrites and optimizes text-to-image and multi-image editing prompts using official Alibaba specifications. Compatible with skills.sh and all AI agents.
64-bit RISC-V (RV64GC) core that boots Linux on an Arty A7 FPGA. Designed entirely by Claude Code: the specifications, RTL, verification and documents were all written by the AI.
DSH Community Consensus & Implementation Specifications / DSH 社区共识与实施规范
Kunpeng-Skill is a powerful multimodal distillation toolkit that transforms high-value insights from repositories, websites, UIs, videos, images, and documents into reusable methodologies, model-agnostic regeneration specifications, and more.
Using AI to translate Homer's Odyssey according to my specifications.
CAN Opener SE Hardware Specifications
A writing style for specifications that both AI and humans are happy with.
High availability mirror and network topology specifications for eternity4719/HowToLiveBetter