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 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☆21Apr 6, 2026Updated last 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 4 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆42Apr 1, 2026Updated 2 weeks ago
- 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 last week
- Fulmine is a wallet daemon for Arkade, a Bitcoin L2☆23Updated this week
- Integrating Taproot Assets into Ark☆14Apr 24, 2025Updated 11 months ago
- Elements Improvement proposals☆15Feb 26, 2026Updated last month
- Bitcoin TypeScript/JavaScript Library for NodeJS, Browser and Mobile. Segwit & Taproot support.✨☆39Oct 24, 2025Updated 5 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Nostr Relay Implementation on Kotlin☆28Mar 8, 2023Updated 3 years ago
- ☆16Dec 16, 2022Updated 3 years ago
- Disposable Linux containers for AI coding agents, with extensible backends☆55Mar 5, 2026Updated last month
- ☆11Jan 22, 2025Updated last year
- 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 last month
- CingI: Distributed pipeline/task runner for Continuous-ing Integration☆13Oct 9, 2017Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 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
- Karpathy’s LLM Wiki, 100% local with Ollama. Drop Markdown notes → AI extracts concepts → your Obsidian wiki auto-links and grows. Zero c…☆44Updated this week
- Recovered from https://archive.softwareheritage.org/browse/origin/directory/?origin_url=https://github.com/uktrade/sqlite-s3vfs☆40Dec 30, 2025Updated 3 months ago
- Private file sharing, pay with bitcoin☆10Apr 4, 2025Updated last year
- 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
- ☆13Feb 26, 2024Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- 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
- TODO Guide for implementing Android Architecture Components in your apps☆10Sep 28, 2018Updated 7 years ago
- Option Strategy for Futures☆18Jul 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
- 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
- vscode port of bitcoin-script-hints.nvim by t4t5☆14Dec 19, 2024Updated last year