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:
- hippo protocol core implementation☆21Mar 18, 2026Updated last week
- ☆20Updated 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 2 years ago
- ☆42Jan 22, 2026Updated 2 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- A Golang Library that wraps the fluent logger Golang and implements io.Writer. Easy logging to Fluentd/Bit with standard loggers.☆13Dec 5, 2025Updated 3 months ago
- Bitcoin, Hippocrat, DID and Data Wallet SDK for Node, Browser and Mobile☆13May 8, 2025Updated 10 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☆13Feb 1, 2026Updated last month
- Fulmine is Bitcoin wallet daemon that enables swap providers and payment hubs to optimize Lightning Network channel liquidity while minim…☆24Updated this week
- Integrating Taproot Assets into Ark☆15Apr 24, 2025Updated 11 months ago
- Elements Improvement proposals☆15Feb 26, 2026Updated last month
- ☆15Dec 16, 2022Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Bitcoin TypeScript/JavaScript Library for NodeJS, Browser and Mobile. Segwit & Taproot support.✨☆39Oct 24, 2025Updated 5 months ago
- Disposable Linux containers for AI coding agents, with extensible backends☆52Mar 5, 2026Updated 3 weeks ago
- Nostr Relay Implementation on Kotlin☆28Mar 8, 2023Updated 3 years ago
- 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
- TDEX aims to create a global exchange network with an open interface for faster, non-custodial and confidential trading of Liquid assets☆10Apr 12, 2022Updated 3 years ago
- ☆11Jan 22, 2025Updated last year
- 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 3 weeks ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Recovered from https://archive.softwareheritage.org/browse/origin/directory/?origin_url=https://github.com/uktrade/sqlite-s3vfs☆38Dec 30, 2025Updated 2 months ago
- CingI: Distributed pipeline/task runner for Continuous-ing Integration☆13Oct 9, 2017Updated 8 years ago
- A collection of Pine Script code snippets that I find useful☆15Jun 5, 2018Updated 7 years ago
- ☆18Dec 29, 2024Updated last year
- Tutorials and apps around Agentic Document Extraction☆15Sep 16, 2025Updated 6 months ago
- Private file sharing, pay with bitcoin☆10Apr 4, 2025Updated 11 months ago
- 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
- TODO Guide for implementing Android Architecture Components in your apps☆10Sep 28, 2018Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- ☆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☆17Jul 29, 2020Updated 5 years ago
- Machine Learning and Reinforcement Learning in Finance New York University Tandon School of Engineering☆13Nov 8, 2018Updated 7 years ago
- JavaScript AST interpreter for sandboxed execution☆27Oct 5, 2025Updated 5 months ago
- Open-source mobile client for the nostr-protocol☆26Jan 7, 2023Updated 3 years ago
- 2026 SWE internship & new graduate job list updated daily☆27Oct 26, 2025Updated 5 months ago