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,477 commits to master branch, last one 2 days ago
Technical specifications for the IPFS protocol stack
Created
2015-03-11
972 commits to main branch, last one a day 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 10 days ago
Standardizing Cloud Native Value Measurement
Created
2019-02-02
897 commits to master branch, last one 2 months ago
Zcash Improvement Proposals
Created
2015-12-02
3,754 commits to main branch, last one 2 days ago
WebKit's positions on emerging web specifications
Created
2022-06-28
48 commits to main branch, last one 9 days 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 9 months ago
machine-readable, always up-to-date GitHub Webhooks specifications
Created
2018-12-11
910 commits to main branch, last one a day ago
Dynamic detection of likely invariants
Created
2015-06-14
11,749 commits to master branch, last one 7 days ago
Japanese translations of various web spec.
Created
2016-04-19
15,028 commits to master branch, last one 10 hours ago
IRCv3 website
Created
2015-04-25
958 commits to master branch, last one a day ago
:zap: xarray data creation by data classes
Created
2020-09-19
728 commits to main branch, last one 5 months 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