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

433–456 of 622 · Most stars

trycast parses JSON-like values whose shape is defined by TypedDicts and other standard Python type hints.

  • parsing
  • python
  • typechecking
  • runtime-typechecking

A microservice (sidecar) that helps instantly determine the status of your PostgreSQL hosts including whether they are alive, which one is the master, which ones are replicas, and how far each replica is lagging behind the master.

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

  • coq
  • hydra-battles
  • ordinal-notations
  • formal-proofs

Translated🎧 Update your NetEase Cloud Music (网易云音乐) listening history from the past week to a Gist

  • github-gist
  • gistbox
  • pinned-gist
  • awesome-pinned-gists