Sign in

Repository Index

57,138 visible repositories in the index

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

433–456 of 569 · Most stars

WWDC.srt is a powerful app for downloading subtitles in (srt) format or data links ( video links , pdf links , sample code links ) for each WWDC session video since 2013 .

  • wwdc
  • subtitle
  • srt
  • app

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

GC little helper II - Some little things to make life easy (on www.geocaching.com). Powerful, configurable tool to improve and expand the geocaching pages.

  • geocachen
  • geocaching
  • cachen
  • gclh

With a subtle glass-like blur that melts into the background, Ayaka highlights your workspace without overwhelming it. Vibrant accents breathe life into the dark base, striking a perfect balance of minimalism and color.