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
☆43Feb 25, 2026Updated 2 months ago
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:
- hippo protocol core implementation☆21Updated this week
- ☆21Updated this week
- Examples of basic flows for modules in the Holepunch ecosystem☆20Jul 13, 2023Updated 2 years ago
- A wallet library for Elements / Liquid written in Rust!☆11Mar 26, 2023Updated 3 years ago
- A Golang Library that wraps the fluent logger Golang and implements io.Writer. Easy logging to Fluentd/Bit with standard loggers.☆13Dec 5, 2025Updated 5 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆43Apr 1, 2026Updated last month
- Bitcoin, Hippocrat, DID and Data Wallet SDK for Node, Browser and Mobile☆13May 8, 2025Updated 11 months ago
- Indexing and querying layer for LMDB and flatbuffers☆20Sep 5, 2024Updated last year
- Synthetic asset smart contract for the Liquid network☆10Feb 24, 2022Updated 4 years ago
- A GO implementation for a BIP0352 Silent Payments Indexing Server☆13Apr 7, 2026Updated 3 weeks ago
- Fulmine is a wallet daemon for Arkade, a Bitcoin L2☆23Updated this week
- Integrating Taproot Assets into Ark☆14Apr 24, 2025Updated last year
- Elements Improvement proposals☆15Feb 26, 2026Updated 2 months ago
- Bitcoin TypeScript/JavaScript Library for NodeJS, Browser and Mobile. Segwit & Taproot support.✨☆39Oct 24, 2025Updated 6 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Nostr Relay Implementation on Kotlin☆28Mar 8, 2023Updated 3 years ago
- ☆16Dec 16, 2022Updated 3 years ago
- ☆11Jan 22, 2025Updated last year
- Disposable Linux containers for AI coding agents, with extensible backends☆58Updated this week
- Options are an integral part of hedging strategies, portfolio management and many other facets of the finance industry. And Greeks of an …☆12Jul 10, 2021Updated 4 years ago
- Liquid Development Kit provides abstractions to speed-up implementation of elements-based wallets for browsers and NodeJS☆10Jan 18, 2023Updated 3 years ago
- A simple and easy-to-use musig2 library, written in typescript.☆18Aug 15, 2024Updated last year
- Ergonomically implement the `Display` trait☆50Mar 2, 2026Updated 2 months ago
- CingI: Distributed pipeline/task runner for Continuous-ing Integration☆13Oct 9, 2017Updated 8 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Tutorials and apps around Agentic Document Extraction☆15Sep 16, 2025Updated 7 months ago
- A collection of Pine Script code snippets that I find useful☆15Jun 5, 2018Updated 7 years ago
- ☆18Dec 29, 2024Updated last year
- Private file sharing, pay with bitcoin☆10Apr 4, 2025Updated last year
- Recovered from https://archive.softwareheritage.org/browse/origin/directory/?origin_url=https://github.com/uktrade/sqlite-s3vfs☆40Dec 30, 2025Updated 4 months ago
- ☆81Nov 12, 2025Updated 5 months ago
- Autonomous experiment loop skill for Claude Code — port of pi-autoresearch☆28Mar 18, 2026Updated last month
- This repo is dedicated to an indicator developed for Tradingview that pulls Dealer, Darkpool, and standard S/R levels from Tradytics and …☆16Oct 13, 2022Updated 3 years ago
- 👨🏽🍳👩🍳 A open-source cookbook with recipes for handling everyday issues when building robust, modular react-native components☆19Nov 13, 2017Updated 8 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆13Feb 26, 2024Updated 2 years ago
- A Python script to compress large text files for LLM context windows, optimizing the ratio of essential information to tokens used. It of…☆15Nov 11, 2024Updated last year
- Option Strategy for Futures☆19Jul 29, 2020Updated 5 years ago
- TODO Guide for implementing Android Architecture Components in your apps☆10Sep 28, 2018Updated 7 years ago
- Machine Learning and Reinforcement Learning in Finance New York University Tandon School of Engineering☆13Nov 8, 2018Updated 7 years ago
- A Python library for scraping Trustpilot reviews.☆20May 22, 2024Updated last year
- Open-source mobile client for the nostr-protocol☆26Jan 7, 2023Updated 3 years ago