TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
-
Updated
Aug 11, 2020 - Java
#
specifications
Here are 97 public repositories matching this topic...
Powerful implementation of the Specification pattern in PHP
-
Updated
Jul 13, 2020 - PHP
IRCv3 specifications | Roadmap: https://git.io/IRCv3-Roadmap | Code of conduct: http://ircv3.net/conduct.html
-
Updated
Aug 11, 2020
A set of libraries and tools for building reliable asynchronous software.
-
Updated
Aug 12, 2020 - Jupyter Notebook
A framework for rapid development of reliable asynchronous software.
-
Updated
Jun 15, 2020 - C#
Zcash Improvement Proposals
-
Updated
Aug 12, 2020 - HTML
Japanese translations of various web spec.
-
Updated
Aug 12, 2020 - HTML
A script to automate specifying dimensions (and adding dimension lines) of objects in Adobe Illustrator
javascript
design
scale
script
assets
dimensions
specifications
cad
adobe-illustrator
adobe
dimension
ruler
-
Updated
Aug 5, 2020 - JavaScript
IRCv3 website
-
Updated
Aug 10, 2020 - HTML
A common format for describing and capturing service mesh performance.
specifications
service-mesh
smps
performance-benchmarks
meshery
service-mesh-performance
service-mesh-benchmark
management-plane
service-mesh-performance-benchmark
multi-mesh-manager
layer5
-
Updated
Aug 11, 2020 - Makefile
BioContainers specifications
docker
bioinformatics
specifications
rkt
biocontainers-specification
biocontainers
bioinformatics-containers
biocontainers-architecture
bioinformatics-analysis
-
Updated
Mar 9, 2020
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
Aug 12, 2020 - JavaScript
A collection of language specifications which don't belong anywhere else
-
Updated
Oct 12, 2015
A mildly opiniated modern cloud service architecture blueprint + reference implementation
distributed-systems
microservices
correlation
storage
azure
messaging
logging
domain-driven-design
scheduled-jobs
specifications
queueing
operations
servicediscovery
repositories
ddd-architecture
c-charp
commands-queries
-
Updated
Aug 3, 2020 - C#
Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)
-
Updated
Dec 4, 2019 - Haskell
Human readable specifications of the low level GEO Protocol details.
-
Updated
Nov 6, 2018
Description about the resource, file formats, etc
-
Updated
Feb 2, 2020
Project specifications for PrestaShop's Core features and native modules
-
Updated
Aug 12, 2020
Human readable specifications about low level Equivalents Registry architecture and design.
-
Updated
Aug 28, 2018
International Standard Content Number - A digital content registry
-
Updated
Jun 23, 2020
A simple Discord bot to save and show peoples' PC/Setup configurations.
-
Updated
Jul 18, 2020 - JavaScript
Witnet Improvement Proposals
-
Updated
Jun 18, 2020
MDN Spec Links – Linking specs to MDN and browser-support data
-
Updated
Jul 30, 2020 - HTML
A collection of specs describing how Aragon works
-
Updated
Jul 9, 2018
Implementation of the FreeDesktop specifications to be used in c++ projects
-
Updated
Nov 21, 2019 - C++
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."