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

8,857–8,880 of 10,016 · Most stars

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

nvim-yt-player is a Neovim plugin for playing YouTube audio directly from Neovim using mpv + yt-dlp via IPC socket. Features include a premium ASCII visualizer UI, interactive search picker, queue editor, SponsorBlock integration, and full playback controls.

dORModel is an ORM for Delphi, based on models and object fields. LINQ support, fully typed and compile time checks.

⚡️ Warp is a lightweight project-local file list for Neovim — add, view, jump, reorder, and remove files, all from a floating window or a keymap away.

A concurrent toolkit to help execute funcs concurrently in an efficient and safe way. It supports specifying the overall timeout to avoid blocking.

  • golang
  • go
  • goroutine

An alternative jq implementation in rust for continuous parsing without crashing on invalid JSON, with Filtration support.

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

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