Top 11 Specification Open-Source Projects

• tlaplus

  38 2,210 9.1 Java

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

  

Project mention: Ask HN: Usefulness of formal verification (Coq) and formal verification (TLA+)? | news.ycombinator.com | 2024-04-07

• specs

  4 1,138 8.6 HTML

  Technical specifications for the IPFS protocol stack (by ipfs)

  

Project mention: Publishers Carpet-Bomb IPFS Gateway Operators with DMCA Notices | news.ycombinator.com | 2023-06-25

• InfluxDB

  www.influxdata.com featured

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• RulerZ

  0 873 0.0 PHP

  Powerful implementation of the Specification pattern in PHP

• ircv3-specifications

  2 769 4.9

  IRCv3 specifications | Roadmap: https://git.io/IRCv3-Roadmap | Code of conduct: http://ircv3.net/conduct.html

  

• zips

  7 265 9.2 HTML

  Zcash Improvement Proposals

  

• standards-positions

  16 232 7.0 Python

  WebKit's positions on emerging web specifications (by WebKit)

  

Project mention: iOS404 | news.ycombinator.com | 2024-04-16

You can check why Mozilla and Apple have opted to not support this.

https://github.com/mozilla/standards-positions/issues/154

https://github.com/WebKit/standards-positions/issues/28

Neither Mozilla or Webkit are satisfied that the proposal is safe by default, and contains footguns for the user that can be pretty destructive.

• Daikon

  1 202 7.8 C

  Dynamic detection of likely invariants

  

Project mention: Everything that uses configuration files should report where they're located | news.ycombinator.com | 2023-06-25

• SaaSHub

  www.saashub.com featured

  SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

  

• webhooks

  1 203 8.7 TypeScript

  machine-readable, always up-to-date GitHub Webhooks specifications (by octokit)

  

Project mention: AdaGPT: My Learnings While Building a GitHub Action | dev.to | 2023-05-05

Life is easier with static types, at least for me. If you use TypeScript, GitHub provides the @octokit/webhooks-types package with official type definitions for all of GitHub's webhooks event types and payloads.

• il2

  2 12 4.1

  IL-2: Sturmovik Great Battles: Aircraft, Tanks & Other Vehicles Specifications

• specifications

  6 9 4.1 HTML

  Specifications related to Jevko. (by jevko)

  

• Ponder

  2 2 3.1 Kotlin

  This Kotlin library contains a collection of modules that assist with the development of console applications and Minecraft plugins. (by Preponderous-Software)

  

Specifications related posts

• iOS404

  2 projects | news.ycombinator.com | 16 Apr 2024

• Ask HN: Usefulness of formal verification (Coq) and formal verification (TLA+)?

  1 project | news.ycombinator.com | 7 Apr 2024

• Show HN: Tiniest Web Component

  1 project | news.ycombinator.com | 28 Mar 2024

• Bertie – A minimal, high-assurance implementation of TLS 1.3 written in hacspec

  5 projects | news.ycombinator.com | 23 Mar 2024

• Quint: A specification language based on the temporal logic of actions (TLA)

  5 projects | news.ycombinator.com | 19 Dec 2023

• Concurrent Data-structure Design Walk-Through

  2 projects | dev.to | 22 Aug 2023

• Ask HN: How you understand TLA+ and how you use TLA+ in your projects?

  1 project | news.ycombinator.com | 11 Jun 2023
• A note from our sponsor - InfluxDB
  www.influxdata.com | 4 May 2024

  Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality. Learn more →

Index

Sponsored

SaaSHub - Software Alternatives and Reviews

SaaSHub helps you find the best software and product alternatives

www.saashub.com