TLC is a model checker for specifications written in TLA . The TLA Toolbox is an IDE for TLA .
-
Updated
Dec 25, 2024 - Java
#
specifications
Here are 163 public repositories matching this topic...
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
Nov 11, 2024
A framework for rapid development of reliable asynchronous software.
-
Updated
Nov 4, 2020 - C#
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
Dec 22, 2024 - Makefile
Zcash Improvement Proposals
-
Updated
Dec 10, 2024 - HTML
Please see https://github.com/hacspec/hax
-
Updated
Feb 12, 2024 - Coq
machine-readable, always up-to-date GitHub Webhooks specifications
-
Updated
Dec 23, 2024 - TypeScript
Dynamic detection of likely invariants
c java machine-learning csharp eiffel perl specifications machinelearning specification-by-example specif
-
Updated
Nov 28, 2024 - C
Japanese translations of various web spec.
-
Updated
Dec 24, 2024 - HTML
IRCv3 website
-
Updated
Dec 4, 2024 - HTML
⚡ xarray data creation by data classes
-
Updated
Dec 9, 2024 - Python
BioContainers specifications
docker bioinformatics specifications rkt biocontainers-specification biocontainers bioinformatics-containers biocontainers-architecture bioinformatics-analysis
-
Updated
Mar 1, 2023
Symfony Bundle for RulerZ
-
Updated
Oct 1, 2018 - PHP
Measure twice, cut once. Lisp-like functional language for computable & immutable specifications, interpreted by WebAssembly & the Ethereum Virtual Machine.
-
Updated
Jan 6, 2023 - JavaScript
🚥 技术团队开发规范。Code standard for development team.
-
Updated
Nov 5, 2024 - CSS
Project specifications for PrestaShop's Core features and native modules
-
Updated
Oct 20, 2023 - HTML
Split your Doctrine repositories into fluent combinable criteria classes. Easily usable, maintainable and testable.
-
Updated
Apr 22, 2024 - PHP
Improve this page
Add a description, image, and links to the specifications topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the specifications topic, visit your repo's landing page and select "manage topics."