Sign in

Repository Index

47,133 repositories indexed

Filters (1)

Filters

Clear all filters

1–17 of 17 · Most stars

An agent-managed museum exhibit, built in Rust with Gajae-Code / LazyCodex — developed and maintained with no human intervention.

The open source and enterprise-ready webhooks service 🦀

  • webhooks
  • rust
  • webhook-server
  • webhook-service

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.

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