18 results found Sort:
- Filter by Primary Language:
- HTML (5)
- Python (3)
- 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,586 commits to master branch, last one a day ago
Technical specifications for the IPFS protocol stack
Created
2015-03-11
1,007 commits to main branch, last one 8 days 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
567 commits to master branch, last one 2 months ago
Standardizing Cloud Native Value Measurement
Created
2019-02-02
904 commits to master branch, last one 2 months ago
Zcash Improvement Proposals
Created
2015-12-02
3,820 commits to main branch, last one 12 hours ago
WebKit's positions on emerging web specifications
Created
2022-06-28
50 commits to main branch, last one 18 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 about a year ago
machine-readable, always up-to-date GitHub Webhooks specifications
Created
2018-12-11
927 commits to main branch, last one 4 days ago
Dynamic detection of likely invariants
Created
2015-06-14
11,777 commits to master branch, last one 10 days ago
Japanese translations of various web spec.
Created
2016-04-19
15,458 commits to master branch, last one 18 hours ago
IRCv3 website
Created
2015-04-25
967 commits to master branch, last one 5 days ago
:zap: xarray data creation by data classes
Created
2020-09-19
749 commits to main branch, last one 2 months ago
BioContainers specifications
Created
2015-08-03
81 commits to master branch, last one 2 years ago
:zap: pandas data creation by data classes
Created
2021-09-08
506 commits to main branch, last one 2 months 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 about a month ago
🌏 Web Platform features dashboard
Created
2022-08-22
155 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 2 years ago