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

1,345–1,368 of 1,619 · Most stars

The most complete list class for GameMaker Studio 2.3+. GC-friendly, [  ] accessor, 50+ functions (add, remove, insert, contains, find, sort, shuffle, reverse, etc.) and reference as array.

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

Public transport data in GTFS format with schemas, a data package and tests

  • open-data
  • data-package
  • gtfs
  • json-table-schemas

Define a Go struct. Get a CLI that an agent can discover, call, sandbox, and debug. Flags, env vars, config files, validation, JSON Schema, MCP, structured errors, and WASM. Built on Cobra.

  • cli
  • cobra
  • flags
  • viper