specification topic

List specification repositories

cargo-specification

36
Stars
4
Forks
Watchers

The code is the spec

all-contributors-patch

5
Stars
1
Forks
Watchers

An extension that patches a bug with titles of generated emojis, by the `all-contributors-cli`. It's just impossible to handle it in another way, because of the GitHub. Basically it is just a 3 lines...

This document proposes a way of standardising the structure, language, and grammar used in security policies.

clus-data

45
Stars
8
Forks
Watchers

Data for Common Lisp UltraSpec - http://phoe.tymoon.eu/clus/

CANpy

119
Stars
34
Forks
Watchers

DBC Specification

BlockingQueue

473
Stars
20
Forks
Watchers

Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!

ewd998

40
Stars
13
Forks
Watchers

Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF

L5-Swagger

2.4k
Stars
384
Forks
Watchers

OpenApi or Swagger integration to Laravel

telegram-bot-api-spec

83
Stars
24
Forks
Watchers

A simple JSON description of the telegram bot API which updates itself every day.