ChrisCho-H / bithovenView on GitHub
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
42Feb 25, 2026Updated last month

Alternatives and similar repositories for bithoven

Users that are interested in bithoven are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

Sorting:

Are these results useful?