TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
-
Updated
Oct 7, 2026 - Java
#
specifications
Here are 384 public repositories matching this topic...
Zcash Improvement Proposals
-
Updated
Oct 6, 2026 - TeX
Standardizing Cloud Native Value Measurement
cncf specifications smp cloud-native service-mesh hacktoberfest performance-benchmarks meshery service-mesh-performance service-mesh-benchmark management-plane service-mesh-performance-benchmark multi-mesh-manager layer5
-
Updated
Jun 1, 2026 - Makefile
IRCv3 website
-
Updated
Sep 20, 2026 - HTML
Powerful implementation of the Specification pattern in PHP
-
Updated
Sep 2, 2022 - PHP
IRCv3 specifications | Roadmap: https://git.io/IRCv3-Roadmap | Code of conduct: http://ircv3.net/conduct.html
-
Updated
Aug 3, 2026
Dynamic detection of likely invariants
c java machine-learning csharp eiffel perl specifications machinelearning specification-by-example specif
-
Updated
Oct 6, 2026 - C
A simple and easy-to-use file-format to package resources
c api packaging asset-pipeline raylib specifications file-format resource-pack opeen-source open-specs
-
Updated
Aug 12, 2026 - C
**DEPRECATED** machine-readable, always up-to-date GitHub Webhooks specifications
-
Updated
Oct 5, 2026 - TypeScript
Please see https://github.com/hacspec/hax
-
Updated
Feb 12, 2024 - Coq
A framework for rapid development of reliable asynchronous software.
-
Updated
Nov 4, 2020 - C#
Spec-driven development for coding agents — a desktop app, a CLI, and skills for Codex, Claude Code, Cursor, Copilot, Antigravity and Junie
cli specifications developer-tools codex ai-agents sdd coding-agents claude-code spec-driven-development
-
Updated
Sep 13, 2026 - TypeScript
A Claude Code plugin that reverse-engineers clean behavioral specs, test vectors, and acceptance criteria from any codebase, producing a provenance trail so a fresh team can reimplement without inheriting the original's internal structure.
-
Updated
Aug 6, 2026
Agent skills for Spec Kit
specifications developer-tools workflow-automation ai-agents github-copilot gemini-cli ai-coding agent-skills claude-code codex-cli spec-kit
-
Updated
Sep 28, 2026 - Shell
Symfony Bundle for RulerZ
-
Updated
Oct 1, 2018 - PHP
🚥 技术团队开发规范。Code standard for development team.
-
Updated
Nov 5, 2024 - CSS
Project specifications for PrestaShop's Core features and native modules
-
Updated
Jan 17, 2025 - HTML
Add this topic to your repo
To associate your repository with the specifications topic, visit your repo's landing page and select "manage topics."