13 results found Sort:
- Filter by Primary Language:
- HTML (4)
- Coq (1)
- Java (1)
- Makefile (1)
- PHP (1)
- Python (1)
- C (1)
- TypeScript (1)
- +
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Created
2016-02-02
8,367 commits to master branch, last one 17 hours ago
Technical specifications for the IPFS protocol stack
Created
2015-03-11
932 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 about a year ago
IRCv3 specifications | Roadmap: https://git.io/IRCv3-Roadmap | Code of conduct: http://ircv3.net/conduct.html
Created
2012-04-27
561 commits to master branch, last one about a month ago
Standardizing Service Mesh Value Measurement
Created
2019-02-02
871 commits to master branch, last one 2 days ago
Zcash Improvement Proposals
Created
2015-12-02
3,247 commits to main branch, last one 24 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 4 months ago
WebKit's positions on emerging web specifications
Created
2022-06-28
40 commits to main branch, last one 17 days ago
machine-readable, always up-to-date GitHub Webhooks specifications
Created
2018-12-11
882 commits to main branch, last one 2 days ago
Dynamic detection of likely invariants
Created
2015-06-14
11,726 commits to master branch, last one a day ago
Japanese translations of various web spec.
Created
2016-04-19
14,508 commits to master branch, last one a day ago
IRCv3 website
Created
2015-04-25
929 commits to master branch, last one 18 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