TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
-
Updated
Jun 9, 2024 - Java
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Powerful implementation of the Specification pattern in PHP
IRCv3 specifications | Roadmap: https://git.io/IRCv3-Roadmap | Code of conduct: http://ircv3.net/conduct.html
A framework for rapid development of reliable asynchronous software.
Standardizing Service Mesh Value Measurement
Zcash Improvement Proposals
Please see https://github.com/hacspec/hax
machine-readable, always up-to-date GitHub Webhooks specifications
Dynamic detection of likely invariants
Japanese translations of various web spec.
IRCv3 website
BioContainers specifications
Symfony Bundle for RulerZ
Measure twice, cut once. Lisp-like functional language for computable & immutable specifications, interpreted by WebAssembly & the Ethereum Virtual Machine.
Split your Doctrine repositories into fluent combinable criteria classes. Easily usable, maintainable and testable.
Project specifications for PrestaShop's Core features and native modules
🚥 技术团队开发规范。Code standard for development team.
Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)
Add a description, image, and links to the specifications topic page so that developers can more easily learn about it.
To associate your repository with the specifications topic, visit your repo's landing page and select "manage topics."