Simple Features is a pure Go Implementation of the OpenGIS Simple Feature Access Specification
Repository Index
47,133 repositories indexed
97–120 of 152 · Most stars
A proposal for a Layout Instability specification
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
- formal-verification
- formal-methods
- formal-specification
- ada
Networked Media Open Specifications: Introduction
- nmos
- amwa
OGraf is an Open specification for HTML based Graphics, used in live television and post production workflows.
- ebu
- graphics
- ograf
- television
General Modeling Network Specification
- network
- specification
- highway-network
- road-network
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Yet another markdown parser, Compliant to CommonMark specification, written in Crystal.
- crystal
- markdown
- commonmark
- gfm
RISC-V Specification in Coq
⚡A lightweight, framework-agnostic OpenAPI 3.x specification builder for Go.
- openapi
- openapi-generator
- go
- golang
Specification for the LargestContentfulPaint API
Working towards a new TAP specification
- specification
This repository hosts the specification for the Cartographic Information Model
- specification
- publishing-sharing
- cartography
- desktop
🍵 First-class Elixir match specifications.
- elixir
- erlang
- hex
Generates Elm types, JSON decoders, JSON encoders and fuzz tests from JSON schema specifications
- elm
- json-schema
- json
- elixir
Analyzer to inspect network packets generated by the SMPTE ST 2110 specification.
Generate Delphi client SDKs for any REST API defined with the OpenAPI specification.
The Rockstar programming language specification
Algorand Specifications
- algorand
- avm
- blockchain
- consensus
Package notify provides an implementation of the Gnome DBus Notifications Specification.
- go
- golang
- gnome
- dbus
.NET implementation of a General Transit Feed Specification (GTFS) feed parser.
A data specification to help cities manage their curb zone and parking programs and surrounding areas, and measure the utilization and impact.
- curb
- curb-management
- parking
- parking-management
Transit Integrated Data Exchange Specification for historical transit operations data
- transit
- open-standards
Java-based tool that validates General Transit Feed Specification (GTFS)-realtime feeds