All Categories → No Category → specifications

Top 11 specifications open source projects

TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

✭ 1,618

java TLA HTML TeX Batchfile AspectJ algorithms high-performance verification mit-license model-checking specifications

A mildly opiniated modern cloud service architecture blueprint + reference implementation

Measure twice, cut once. Lisp-like functional language for computable & immutable specifications, interpreted by WebAssembly & the Ethereum Virtual Machine.

✭ 30

javascript solidity functional-programming ethereum blockchain specifications computable-knowledge

iscn-specs

International Standard Content Number - decentralized content registry

✭ 16

registry specifications iscn iscn-specification iscn-registration

RulerZBundle

Symfony Bundle for RulerZ

✭ 38

PHP Makefile rules symfony rule-engine symfony-bundle specifications

service-mesh-performance

Standardizing Service Mesh Value Measurement

✭ 234

Makefile cncf specifications smp cloud-native service-mesh hacktoberfest performance-benchmarks meshery service-mesh-performance service-mesh-benchmark management-plane service-mesh-performance-benchmark multi-mesh-manager layer5

daikon

Dynamic detection of likely invariants

✭ 157

c java C++BlitzBasic Makefile perl machine-learning specifications machinelearning specification-by-example specif

ircv3.github.io

IRCv3 website

✭ 85

HTML Sass SCSS python ruby jekyll website irc irc-protocol ircv3 specifications working-group

prestashop-specs

Project specifications for PrestaShop's Core features and native modules

✭ 28

HTML SCSS specifications prestashop hacktoberfest prestashop-specifications

Specs-on-Spec

A collection of language specifications which don't belong anywhere else

✭ 13

specifications specification unimplemented

specifica

Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)

✭ 19

haskell parser specifications mit-license tlaplus haskell-libraries

1-11 of 11 specifications projects