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,273–1,296 of 1,390 · Most stars

Ara is a golang server for real-time public transport data exchange, using the SIRI protocol.

A mono-spaced font family derived from character stroke coordinates from the Commodore 1520 plotter ROM

Supercharge your environment variables in Elixir. Parse and validate with compile time access guarantees, defaults, fallbacks and app pre-boot validations.

Dhyara is a ESP-IDF component for Mobile Ad-Hoc Networks on the top of ESP NOW.

AdminCrud genera un controlador muy básico para una Entity dada. Este controlador extiende e implementa un controlador Super Genial.

A system-wide refactor (modernization) of the GameBoy Tracker (aka the Paragon 5) replayer created by Stephane Hockenhull.

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

  • url
  • golang
  • go
  • url-parser

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