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

1,657–1,680 of 2,039 · 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

SeaweedFS is a fast distributed storage system for blobs, objects, files, and data lake, for billions of files! Blob store has O(1) disk seek, cloud tiering. Filer supports Cloud Drive, xDC replication, Kubernetes, POSIX FUSE mount, S3 API, S3 Gateway, Hadoop, WebDAV, encryption, Erasure Coding. Enterprise version is at seaweedfs.com.

A simple script that handles bookmarks stored in a txt file.

  • foxy
  • bookmark
  • store-bookmarks
  • dmenu

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.

The d-SEAMS C++ core engine

  • molecular-dynamics-simulation
  • molecular-dynamics
  • trajectory-analysis
  • lua