TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
-
Updated
Jun 24, 2022 - Java
#
specifications
Here are 120 public repositories matching this topic...
Powerful implementation of the Specification pattern in PHP
-
Updated
Mar 31, 2022 - PHP
IRCv3 specifications | Roadmap: https://git.io/IRCv3-Roadmap | Code of conduct: http://ircv3.net/conduct.html
-
Updated
Jun 25, 2022
A framework for rapid development of reliable asynchronous software.
-
Updated
Nov 4, 2020 - C#
Zcash Improvement Proposals
-
Updated
Jun 22, 2022 - HTML
kind/bug
Something isn't working
help wanted
Extra attention is needed
good first issue
Good for newcomers
framework/jekyll
Issues or pull requests that use Jekyll
Japanese translations of various web spec.
-
Updated
Jun 25, 2022 - HTML
A specification language for cryptography primitives.
-
Updated
Jun 23, 2022 - Rust
machine-readable, always up-to-date GitHub Webhooks specifications
-
Updated
Jun 23, 2022 - TypeScript
IRCv3 website
-
Updated
Jun 24, 2022 - 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
Project specifications for PrestaShop's Core features and native modules
-
Updated
Jun 16, 2022 - HTML
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 22, 2022 - C#
International Standard Content Number - decentralized content registry
-
Updated
Aug 18, 2021
Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)
-
Updated
Jun 17, 2022 - Haskell
Split your Doctrine repositories into clean combinable criteria classes. Easily usable, maintainable and testable.
-
Updated
Feb 14, 2022 - PHP
A collection of language specifications which don't belong anywhere else
-
Updated
Oct 12, 2015
Specification Curve is a Python package that performs specification curve analysis: exploring how a coefficient varies under multiple different specifications of a statistical model.
-
Updated
Jun 16, 2022 - Python
phun-ky
commented
Feb 24, 2022
I know you don't want to, but perhaps you should? If not, get rid of the jest dependencies bringing in babel.. yuck
Human readable specifications of the low level GEO Protocol details.
-
Updated
Nov 6, 2018
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
Feb 3, 2022
MDN Spec Links – Linking specs to MDN and browser-support data
-
Updated
Jun 26, 2022 - JSON
Description about the resource, file formats, etc
-
Updated
Apr 21, 2022
Aquila Network Neural Search Engine technical specifications
-
Updated
Sep 19, 2021
Witnet Improvement Proposals
-
Updated
Mar 4, 2022
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."
Description
Currently:
Expected Behavior
Breakpoints and column sizes should be adjusted to better fit browser width responsively.
Contributor Resources
The meshery.io website uses Jekyll and GitHub Pa