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
Repository Index
81,588 visible repositories in the index
25–30 of 30 · Most stars
Ledger devices app for Waves platform :large_blue_diamond:
A simple, self-custodial solution for accepting private, on-chain Bitcoin payments using XPUBs and serverless functions.
Cypherglass Glass
- eos
- eosio
- blockchain
- eos-blockchain
A secure, client-side tool to broadcast a signed Bitcoin (BTC) transaction from an air-gapped wallet. Fetch UTXOs, regenerate QR codes, and submit raw hex transactions safely.
- air-gapped
- airgap
- bitcoin
- btc
Any API becomes a Lightning toll booth in one line. L402 middleware for Express, Hono, Deno, Bun, and Workers.