Sign in

Repository Index

47,133 repositories indexed

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

3,817–3,840 of 4,331 · Most stars

fast, auto-fixing Markdown linter and formatter. Checks style, readability, structure, and cross-file integrity.

A tool for checking, sanitizing and minimizing GTFS feeds. This is our fork of gtfstidy, with some additional fixes that haven't been merged upstream yet.

OCaml library designed to streamline the process of validating records, variants, lists, or values. It primarily operates through a PPX deriver that automatically generates validators.

  • validation

Go package to easily convert a URL's query parameters/values into usable struct values of the correct types.

  • url
  • golang
  • go
  • url-parser

This is an open data specification for describing the right-of-way (ROW) for street centerline networks. It is intended to establish a common set of attributes (schema) to describe how space is allocated along a streets right of way from sidewalk edge to sidewalk edge.

  • streets
  • row
  • specification
  • data

Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]

  • coq
  • mathcomp
  • ssreflect
  • tarjan-algorithm