#算法刷题#TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Technical specifications for the IPFS protocol stack
Powerful implementation of the Specification pattern in PHP
IRCv3 specifications | Roadmap: https://git.io/IRCv3-Roadmap | Code of conduct: http://ircv3.net/conduct.html
A framework for rapid development of reliable asynchronous software.
Standardizing Cloud Native Value Measurement
WebKit's positions on emerging web specifications
Please see https://github.com/hacspec/hax
machine-readable, always up-to-date GitHub Webhooks specifications
Japanese translations of various web spec.
⚡ xarray data creation by data classes
#博客#A curated list of technical standards, they may be called requests for comments, proposals, drafts, notes, specifications, or something else
⚡ pandas data creation by data classes
🌏 Web Platform features dashboard
#区块链#Measure twice, cut once. Lisp-like functional language for computable & immutable specifications, interpreted by WebAssembly & the Ethereum Virtual Machine.