Sign in

Repository Index

59,132 visible repositories in the index

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

3,841–3,864 of 4,289 · Most stars

High-performance network library for D programming language, event-driven asynchonous implemention(IOCP / kqueue / epoll).

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

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.

Generic double-ended heap (min-max heap) for Go — O(1) min and max, O(log n) push/pop

  • heap
  • min-max-heap
  • priority-queue
  • double-ended-queue