17 results found Sort:

208
2.4k
mit
51
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Created 2016-02-02
8,569 commits to master branch, last one 4 days ago
234
1.2k
unknown
108
Technical specifications for the IPFS protocol stack
Created 2015-03-11
976 commits to main branch, last one 12 days ago
97
871
mit
46
Powerful implementation of the Specification pattern in PHP
Created 2015-01-28
534 commits to master branch, last one 2 years ago
IRCv3 specifications | Roadmap: https://git.io/IRCv3-Roadmap | Code of conduct: http://ircv3.net/conduct.html
Created 2012-04-27
567 commits to master branch, last one about a month ago
159
275
mit
59
Zcash Improvement Proposals
Created 2015-12-02
3,784 commits to main branch, last one 5 days ago
WebKit's positions on emerging web specifications
Created 2022-06-28
48 commits to main branch, last one 3 months ago
41
242
mit
9
Please see https://github.com/hacspec/hax
This repository has been archived (exclude archived)
Created 2020-03-12
1,416 commits to master branch, last one about a year ago
40
232
mit
13
machine-readable, always up-to-date GitHub Webhooks specifications
Created 2018-12-11
920 commits to main branch, last one 3 days ago
55
220
other
8
Dynamic detection of likely invariants
Created 2015-06-14
11,771 commits to master branch, last one 7 days ago
Japanese translations of various web spec.
Created 2016-04-19
15,323 commits to master branch, last one 2 days ago
IRCv3 website
Created 2015-04-25
966 commits to master branch, last one 14 days ago
:zap: xarray data creation by data classes
Created 2020-09-19
749 commits to main branch, last one about a month ago
:zap: pandas data creation by data classes
Created 2021-09-08
506 commits to main branch, last one about a month ago
A curated list of technical standards, they may be called requests for comments, proposals, drafts, notes, specifications, or something else
Created 2024-12-12
13 commits to main branch, last one 11 days ago
🌏 Web Platform features dashboard
Created 2022-08-22
127 commits to main branch, last one a day ago
Get the standardized technical specifications of the world's smartphones, tablets, smartwatches and more.
Created 2022-01-09
7 commits to main branch, last one about a year ago