Here are
110 public repositories
matching this topic...
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Powerful implementation of the Specification pattern in PHP
A framework for rapid development of reliable asynchronous software.
Zcash Improvement Proposals
Standardizing Service Mesh Value Measurement
Updated
Dec 2, 2021
Makefile
Japanese translations of various web spec.
A specification language for cryptography primitives.
Updated
Nov 19, 2021
HTML
BioContainers specifications
Symfony Bundle for RulerZ
Project specifications for PrestaShop's Core features and native modules
Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)
Updated
Aug 23, 2021
Haskell
International Standard Content Number - decentralized content registry
A mildly opiniated modern cloud service architecture blueprint + reference implementation
A collection of language specifications which don't belong anywhere else
Split your Doctrine repositories into clean combinable criteria classes. Easily usable, maintainable and testable.
Human readable specifications of the low level GEO Protocol details.
A script to annotate, show spacing specs and to display typography information in documentation/website on HTML elements
Updated
May 26, 2021
JavaScript
An extension used to automate specifying dimensions (and adding dimension lines) of objects in Adobe Illustrator
Description about the resource, file formats, etc
Spec-style testing for Java
Updated
Nov 18, 2021
Java
Aquila Network Neural Search Engine technical specifications
Witnet Improvement Proposals
Human readable specifications about low level Equivalents Registry architecture and design.
OpenActive Modelling Opportunity Data specification
Updated
Aug 11, 2021
HTML
Low level GSR architecture and design.
A simple Discord bot to save and show peoples' PC/Setup configurations.
Updated
Jul 18, 2020
JavaScript
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
Dec 1, 2021
Python
Improve this page
Add a description, image, and links to the
specifications
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
specifications
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session.
You signed out in another tab or window. Reload to refresh your session.
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