Sign in

Repository Index

74,362 visible repositories in the index

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

4,849–4,872 of 5,932 · Most stars

Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436

A modern, powerful commmand line argument parser 🔨

  • dlang
  • command-line-parser
  • argument-parser
  • subcommands

Real-time synced lyrics for Spotify & Apple Music in your macOS menu bar. Word-by-word karaoke highlighting, lyrics translation into 43 languages with RTL support, artist metadata and album art. Free, open source, private — no account needed.