specification topic

The code is the spec

mimoo

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...

tunnckoCore

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

EdOverflow

The secure data format for a modern world

kstenerud

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

phoe

DBC Specification

stefanhoelzl

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

lemmy

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

lemmy

OpenApi or Swagger integration to Laravel

DarkaOnLine

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

PaulSonOfLars