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
76,855 visible repositories in the index
73–76 of 76 · Most stars
Generate realistic IoT test data and send it via MQTT, HTTP, or TCP.
- cli
- data
- data-generation
- data-generator
Yew starter template including a simple HTTP request
- rust
- rust-lang
- yew
- yew-framework
Anime quote web app that fetches data from Animechan (https://animechan.vercel.app/)