TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
-
Updated
Jul 15, 2021 - Java
#
specifications
Here are 108 public repositories matching this topic...
Powerful implementation of the Specification pattern in PHP
-
Updated
Jun 3, 2021 - PHP
IRCv3 specifications | Roadmap: https://git.io/IRCv3-Roadmap | Code of conduct: http://ircv3.net/conduct.html
-
Updated
Jul 10, 2021
A framework for rapid development of reliable asynchronous software.
-
Updated
Nov 4, 2020 - C#
Zcash Improvement Proposals
-
Updated
Jul 13, 2021 - HTML
Japanese translations of various web spec.
-
Updated
Jul 15, 2021 - HTML
A specification language for cryptography primitives.
-
Updated
Jul 14, 2021 - Rust
IRCv3 website
-
Updated
Jul 13, 2021 - HTML
BioContainers specifications
docker
bioinformatics
specifications
rkt
biocontainers-specification
biocontainers
bioinformatics-containers
biocontainers-architecture
bioinformatics-analysis
-
Updated
Dec 14, 2020
Symfony Bundle for RulerZ
-
Updated
Oct 1, 2018 - PHP
loredanacirstea
commented
Jun 4, 2020
Tried GitHub Actions - unsuccessful.
Script:
https://github.com/loredanacirstea/taylor/actions/runs/123075416/workflow
Errors: https://github.com/loredanacirstea/taylor/runs/732783318?check_suite_focus=true
[INFO] first deployment, create new branch gh-pages
ENOENT: no such file or directory, scandir '/home/runner/work/taylor/taylor/build'
/usr/bin/git init
Reinitialized exis
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
Jun 28, 2021 - C#
Project specifications for PrestaShop's Core features and native modules
-
Updated
Jul 12, 2021 - HTML
International Standard Content Number - decentralized content registry
-
Updated
Jul 5, 2021
Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)
-
Updated
Jun 26, 2021 - Haskell
A collection of language specifications which don't belong anywhere else
-
Updated
Oct 12, 2015
Split your Doctrine repositories into clean combinable criteria classes. Easily usable, maintainable and testable.
-
Updated
Jul 9, 2021 - PHP
Human readable specifications of the low level GEO Protocol details.
-
Updated
Nov 6, 2018
Description about the resource, file formats, etc
-
Updated
Jun 1, 2021
A script to annotate, show spacing specs and to display typography information in documentation/website on HTML elements
documentation
annotation
information
specifications
specification
specs
html-elements
anatomy
pin
annotate
inspect
spacing
dissection
dissect
speccer
-
Updated
May 26, 2021 - JavaScript
Human readable specifications about low level Equivalents Registry architecture and design.
-
Updated
Aug 28, 2018
A simple Discord bot to save and show peoples' PC/Setup configurations.
-
Updated
Jul 18, 2020 - JavaScript
An extension used 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
Jun 4, 2021
Witnet Improvement Proposals
-
Updated
Jul 7, 2021
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."
Current State of the service-mesh-performance site
SMP's mailing list and newsletter is not publicly available.
Desired State of the service-mesh-performance site
Similar to the Meshery site, the smp-spec.io site should have a newsletter sign-up and the following mailing lists: