Data

Tools

Indexes

Applications

Experiments

Awesome

An open API service indexing awesome lists of open source software.

Projects in Awesome Lists tagged with specifications

A curated list of projects in awesome lists tagged with specifications .

https://github.com/tlaplus/tlaplus

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

algorithms high-performance java mit-license model-checking specifications tla verification

Last synced: 06 Apr 2026

https://github.com/ipfs/specs

Technical specifications for the IPFS protocol stack

ipfs p2p protocol specifications specs standards

Last synced: 10 Apr 2025

https://github.com/K-Phoen/rulerz

Powerful implementation of the Specification pattern in PHP

business-rules library php ruler rules rules-engine specifications

Last synced: 15 Apr 2025

https://github.com/k-phoen/rulerz

Powerful implementation of the Specification pattern in PHP

business-rules library php ruler rules rules-engine specifications

Last synced: 13 Apr 2025

https://github.com/ircv3/ircv3-specifications

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

irc irc-protocol ircv3 specifications working-group

Last synced: 15 Mar 2026

https://github.com/p-org/PSharp

A framework for rapid development of reliable asynchronous software.

asynchronous-programming automated-testing dotnet reliability specifications state-machines

Last synced: 29 Apr 2025

https://github.com/zcash/zips

Zcash Improvement Proposals

cryptocurrency cryptography specifications zcash

Last synced: 01 Feb 2026

https://github.com/webkit/standards-positions

WebKit's positions on emerging web specifications

ietf khronos specifications standards tc39 unicode w3c webkit whatwg

Last synced: 12 Apr 2025

https://github.com/octokit/webhooks

machine-readable, always up-to-date GitHub Webhooks specifications

generated hacktoberfest octokit-js schema specifications webhooks

Last synced: 16 Jun 2025

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

WebKit's positions on emerging web specifications

ietf khronos specifications standards tc39 unicode w3c webkit whatwg

Last synced: 06 Aug 2025

https://github.com/madebyaris/spec-kit-command-cursor

SDD toolkit for Cursor IDE — /specify, /plan, /tasks to turn ideas into specs, plans, and actionable tasks.

ai-workflow cursor cursor-commands developer-tools documentation github-spec-kit planning project-management sdd spec-driven-development specifications tasks templates

Last synced: 23 Jan 2026

https://github.com/astropenguin/xarray-dataclasses

:zap: xarray data creation by data classes

dataclasses python specifications typing xarray

Last synced: 20 Feb 2026

https://github.com/astropenguin/pandas-dataclasses

:zap: pandas data creation by data classes

dataclasses pandas python specifications typing

Last synced: 13 Aug 2025

https://github.com/loredanacirstea/taylor

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

blockchain computable-knowledge ethereum functional-programming lisp specifications types

Last synced: 17 Mar 2025

https://github.com/prestashop/prestashop-specs

Project specifications for PrestaShop's Core features and native modules

hacktoberfest prestashop prestashop-specifications specifications

Last synced: 09 Apr 2025

https://github.com/w3c/mdn-spec-links

MDN Spec Links – Linking specs to MDN and browser-support data

mdn specifications w3c web-development web-platform web-standards whatwg

Last synced: 22 Jun 2025

https://github.com/phun-ky/speccer

SPECCER was originally created to simplify documenting components in a design system, but it can be used to annotate or highlight any HTML element on a webpage. If you need to draw attention to elements, SPECCER is your tool!

a11y accessibility anatomy annotate annotation css dissect dissection documentation grid grid-layout html-elements information inspect pin spacing speccer specification specifications specs

Last synced: 17 Mar 2026

https://github.com/adamdehaven/specify

An extension used to automate specifying dimensions (and adding dimension lines) of objects in Adobe Illustrator

adobe adobe-illustrator assets cad design dimension dimensions javascript ruler scale script specifications

Last synced: 12 Apr 2025

https://github.com/aeturrell/specification_curve

Specification Curve is a Python package that performs specification curve analysis: exploring how a coefficient varies under multiple different specifications of a statistical model.

analysis econometrics ols-regression robustness specifications statistics visualization

Last synced: 12 Oct 2025

https://github.com/likecoin/iscn-specs

International Standard Content Number - decentralized content registry

iscn iscn-registration iscn-specification registry specifications

Last synced: 22 Jan 2026

https://github.com/catseye/specs-on-spec

MIRROR of https://codeberg.org/catseye/Specs-on-Spec : A collection of language specifications which don't belong anywhere else

programming-languages specification specifications unimplemented

Last synced: 10 Mar 2026

https://github.com/nullhack/temple8

Spec-driven agent orchestration template. YAML state machines route multi-agent workflows. Any LLM, any process, zero lock-in.

agent-orchestration ai bdd claude-code copilot cursor kiro opencode productivity project-template pytest python python-project-template python3 spec-driven-development specifications state-machine tdd uv vibe-coding

Last synced: 27 May 2026

https://github.com/python-jsonschema/jsonschema-specifications

Support files exposing JSON from the JSON Schema specifications to Python

json json-schema jsonschema specifications validation

Last synced: 05 Apr 2025

https://github.com/jsonurl/specification

JSON->URL defines a text format for the JSON data model suitable for use within a URL/URI (as described by RFC3986). This repository holds the JSON->URL specification.

documentation json specification specifications uri url

Last synced: 30 Aug 2025

https://github.com/witnet/wips

Witnet Improvement Proposals

blockchain governance protocol rfc specifications witnet

Last synced: 15 Feb 2026

https://github.com/omicsdi/specifications

Description about the resource, file formats, etc

new-use-cases omicsdi-architecture omicsdi-xml specifications

Last synced: 08 Jan 2026

https://github.com/azubieta/xdg-utils-cxx

Implementation of the FreeDesktop specifications to be used in c++ projects

base-dir cpp cpp-library desktop-entry freedesktop specifications xdg

Last synced: 14 Apr 2025

https://github.com/kkrull/javaspec

Spec-style testing for Java

java junit specifications testing

Last synced: 11 Apr 2025

https://github.com/openactive/realtime-paged-data-exchange

OpenActive Realtime Paged Data Exchange Specification

rpde specifications

Last synced: 21 Feb 2026

https://github.com/Aquila-Network/specs

Aquila Network Neural Search Engine technical specifications

aquila-network neural-search personal-search specifications vector-search-engine

Last synced: 12 May 2025

https://github.com/openactive/modelling-opportunity-data

OpenActive Modelling Opportunity Data specification

specifications

Last synced: 02 Apr 2025

https://github.com/weechat/specs.weechat.org

WeeChat specifications.

specifications weechat

Last synced: 01 Feb 2026

https://github.com/vjik/specification

PHP implementation of "Specification" pattern

pattern php specification specification-pattern specifications

Last synced: 26 Jul 2025

https://github.com/erlwes/Get-LenovoInfo

Get product- and warranty information of Lenovo PCs

endpoints hardware laptop lenovo model serialnumber specifications warranty

Last synced: 28 Aug 2025

https://github.com/mrigankpawagi/guardrails

VSCode extension to help developers set up guardrails around their functions, by helping them disambiguate purpose statements.

llms python specifications vscode-extension

Last synced: 28 Apr 2025

https://github.com/iscc/iscc-ieps

ISCC - Enhancement Proposals

content identifiers ieps iscc specifications

Last synced: 17 Feb 2026

https://github.com/wbcsd/pact-openapi

The OpenAPI schema definitions for the PACT Network

openapi pact-network specifications yaml

Last synced: 11 Mar 2026

https://github.com/server-state/specs

Specifications for the server-state project's core aspects

api-documentation assets branding documentation server-state specifications terminology

Last synced: 25 Jan 2026

https://github.com/shimo4228/agent-knowledge-cycle

A knowledge cycle for AI agents — one that grows with the people who shape it. Centered on the scarcity of human attention and judgment as agent capability grows; six phases keep behavior aligned with operator intent across sessions. ADRs, JSON schemas, and a dependency-free Python reference.

adr agent-alignment agent-framework agent-knowledge-cycle agent-memory agent-rules agentic-ai ai-agent ai-agents anthropic claude claude-code cognitive-economy harness human-in-the-loop llm llm-agent memory-architecture signal-first specifications

Last synced: 06 Jun 2026

https://github.com/astropenguin/dataspecs

Data specifications by data classes

dataclasses python specifications typing

Last synced: 05 Apr 2025

https://github.com/openactive/route-guide

Repository for discussion of the Routes and Routes Metadata aspects of the OpenActive Opportunity model.

specifications

Last synced: 28 Jan 2026

https://github.com/ton-blockchain/tvm-specification

TON Virtual Machine instructions specification

specifications ton tvm vm

Last synced: 17 Nov 2025

https://github.com/xlsn0w/specs

创建私有CocoaPods库所对应的Specs仓库repos

cocoapods specifications specs

Last synced: 16 Jun 2026

https://github.com/openactive/open-booking-api

Repository for the Open Booking API specification

specifications

Last synced: 07 Jul 2025

https://github.com/wso2/api-specs

This repository contains API specifications (openAPI, GraphQL, etc.) for public APIs.

api contracts openapi specifications

Last synced: 14 Jul 2025

https://github.com/exe-boss/specifications

A GitHub pages sub-page containing all the specifiations that I've ever written.

github-page specification specifications website

Last synced: 02 Mar 2026

https://github.com/liberapay/specs

Standards created by the Liberapay team

cbor documentation specifications standards

Last synced: 19 Mar 2026

https://github.com/openactive/openactive.github.io

OpenActive Vocabulary defined in the Modelling Opportunity Data Specification

specifications

Last synced: 02 Apr 2025

https://github.com/clarin-eric/fcs-misc

Specification documents, examples and schema files

asciidoc clarin fcs specifications xsd

Last synced: 18 Jan 2026

https://github.com/raspi/scrapy-supermicro

Web crawler for Supermicro (supermicro.com) website

motherboard scrapy specifications spider webcrawler

Last synced: 19 Oct 2025

https://github.com/openactive/ns-beta

Beta namespace for OpenActive Vocabulary defined in the Modelling Opportunity Data Specification

extensions specifications

Last synced: 16 Jan 2026

https://github.com/jeff-zucker/specs2glossary

Gather & display terms from the Solid specifications

glossary solid specifications terminology

Last synced: 19 Mar 2026

https://github.com/amarbel-llc/xdg

Fork of freedesktop.org xdg-specs with draft XDG_LOG_HOME and XDG_LOG_DIRS extensions

fork freedesktop specifications xdg xdg-log-home

Last synced: 19 Jun 2026

https://github.com/openactive/spec-template

Openactive Spec Template

specifications

Last synced: 16 Jan 2026

https://github.com/nocapscripts/specthor

Computer Specifications Program

2024 csharp specifications windows

Last synced: 19 May 2026

https://github.com/christianvozar/specs

A collection of outdated and forgotten specifications. Attribution to authors when possible.

specifications

Last synced: 20 Jan 2026

https://github.com/nilsmt/sae

les SAE (projets) de BUT Informatique autres que des applications

graph iut-nantes mathematics network python specifications university-project

Last synced: 05 Aug 2025

https://github.com/uthdentroll/upythonmcuinfo

A simple script to check the available hardware and pin info of a board running Micropython. NA for anything that the information can't be found or is unavailable.

hardware mcu micropython script specifications

Last synced: 12 Apr 2026

https://github.com/beyondnetcode/why-architecture

A repository of documents and sample artifacts that highlight the importance of comprehensive information for reliable estimations, risk reduction, and effective product investment planning.

architecture articles docs specifications

Last synced: 30 May 2026

https://github.com/chewkeanho/hestia

[MIRROR] Main engineering specifications for constructing the super libraries.

hestia specifications

Last synced: 08 Jan 2026

https://github.com/openactive/extension-documentation-generator

Generate documentation for OpenActive extensions

extensions specifications

Last synced: 02 Apr 2025

https://github.com/pawe-d-browski/laploot

Automatically generate sale offers for your devices in seconds.

ai automation electron java offer sale specifications

Last synced: 13 Apr 2026

https://github.com/agagniere/speky

Manage your specifications with git, render them as PDF and HTML

specifications sphinx typst

Last synced: 20 May 2026

https://github.com/comparison-sorting/specification

:notebook_with_decorative_cover: Comparison sorting specification for JavaScript

agpl javascript sorting-algorithms specifications

Last synced: 22 Jan 2026

https://github.com/krixon/rules

A simple language for defining and building Specification Pattern objects.

rules specification-pattern specifications

Last synced: 17 Mar 2026

https://github.com/openactive/ns-extension

Repository for the Opportunity Model Extensions vocabulary

extensions specifications

Last synced: 13 Feb 2026

https://github.com/slate-io/specifications

A collection of Slate swagger specifications

slate slate-specifications specifications swagger

Last synced: 14 Feb 2026

https://github.com/meilisearch/mainspector

Main specification inspector

search specifications website

Last synced: 15 Feb 2026

https://github.com/openactive/dataset-api-discovery

OpenActive Dataset API Discovery Specification

dataset-publication specifications

Last synced: 20 Mar 2026

https://github.com/quinnandrews/spring-data-specification-builder

Reduces the overhead of composing and maintaining Specifications. Enhances code legibility with a fluent API, makes conditional query building easy, and supports query optimization for fetching associated Entities eagerly.

hibernate hibernate-jpa hibernate-jpamodelgen java java-17 specification-pattern specifications spring spring-data spring-data-jpa spring-data-jpa-specification

Last synced: 29 Apr 2026