14 results found Sort:
- Filter by Primary Language:
- HTML (4)
- Python (2)
- Java (1)
- Makefile (1)
- PHP (1)
- C (1)
- TypeScript (1)
- Coq (1)
- +
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Created
2016-02-02
8,506 commits to master branch, last one 6 days ago
Technical specifications for the IPFS protocol stack
Created
2015-03-11
972 commits to main branch, last one about a month ago
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
566 commits to master branch, last one about a month ago
Standardizing Cloud Native Value Measurement
Created
2019-02-02
904 commits to master branch, last one 8 days ago
Zcash Improvement Proposals
Created
2015-12-02
3,763 commits to main branch, last one about a month ago
WebKit's positions on emerging web specifications
Created
2022-06-28
48 commits to main branch, last one about a month ago
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 10 months ago
machine-readable, always up-to-date GitHub Webhooks specifications
Created
2018-12-11
915 commits to main branch, last one 4 days ago
Dynamic detection of likely invariants
Created
2015-06-14
11,751 commits to master branch, last one about a month ago
Japanese translations of various web spec.
Created
2016-04-19
15,166 commits to master branch, last one a day ago
IRCv3 website
Created
2015-04-25
960 commits to master branch, last one 29 days ago
:zap: xarray data creation by data classes
Created
2020-09-19
738 commits to main branch, last one 21 days 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