Mission-control style spacecraft tracker in Rust: live ISS, Dragon, Hubble, JWST and Roman orbits, passes and schedules. Retro CRT themes, and a mode for Raspberry Pi + composite CRT.
Repository Index
85,081 visible repositories in the index
25–27 of 27 · 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 curated collection of ready-to-use Docker Compose files for local web development, plus a powerful CLI (dctl) to manage and orchestrate your registered stacks from anywhere in your terminal.
- compose
- developer-tools
- development
- docker