Balzac is a domain-specific language to write Bitcoin transactions.
☆26Jul 12, 2025Updated last year
Alternatives and similar repositories for balzac
Users that are interested in balzac are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Compiler for BitML☆27Mar 10, 2022Updated 4 years ago
- A compiler from a Turing Machine definition to a Bitcoin script☆14Mar 24, 2018Updated 8 years ago
- Formalizing Automated Market Makers in Lean 4☆18Feb 7, 2024Updated 2 years ago
- Transaction script compiler☆15Oct 25, 2016Updated 9 years ago
- UTXO storage backend for Bitcoin Cash☆16Apr 3, 2020Updated 6 years 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.
- Actor-based Runtime Verification Tool☆18Apr 13, 2023Updated 3 years ago
- This project is being merged into Bitauth CLI:☆37Feb 22, 2019Updated 7 years ago
- Nakasendo SDK installed on a CentOS container - Only supports c++ for now☆11Nov 4, 2019Updated 6 years ago
- Operate command line utility to help author and publish Ops to the blockchain.☆12Mar 22, 2022Updated 4 years ago
- CUTP Contracts☆11Mar 9, 2021Updated 5 years ago
- A high-level language and IDE for writing Bitcoin smart contracts.☆293Mar 8, 2024Updated 2 years ago
- ☆119Nov 3, 2023Updated 2 years ago
- This repository is essentially for compiling information about Cypherpunks, the history of the movement, and the people/events of note.☆10Feb 24, 2018Updated 8 years ago
- SLIP-39 Library based on a fork of Daan Sprenkles' SSS Library for Shamir secret sharing☆14May 15, 2020Updated 6 years 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.
- Cyber-Physical V&V Challenges for the Evaluation of State of the Art Model Checkers☆13Feb 12, 2020Updated 6 years ago
- This is example code for a Rabin-Williams public-key signature scheme designed to provide high speed verification and small signatures.☆16Oct 9, 2008Updated 17 years ago
- ☆10Sep 25, 2019Updated 6 years ago
- Bitcoin source: A Bitcoin implementation in modern Javascript.☆16Mar 5, 2023Updated 3 years ago
- An open benchmark for evaluating smart contracts verification tools.☆16Oct 5, 2025Updated 10 months ago
- bitcoin UTXO selection module with nested/native segwit and taproot support.☆11Sep 15, 2023Updated 2 years ago
- A library for Rabin Signature☆16Jun 16, 2024Updated 2 years ago
- Explorer of cardano-sl☆10Dec 7, 2022Updated 3 years ago
- Khalil, R. and Gervais, A. 2017. ACM Conference on Computer and Communications Security. Revive: Rebalancing Off-Blockchain Payment Netwo…☆31Aug 29, 2017Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Bitcoin TypeScript/JavaScript Library for NodeJS, Browser and Mobile. Segwit & Taproot support.✨☆39Oct 24, 2025Updated 10 months ago
- craft.cash is a voxel drawing program implemented on the bitcoin cash blockchain☆24Dec 8, 2022Updated 3 years ago
- A browser-based Cardano wallet for developers & testers☆13Jun 2, 2025Updated last year
- Js client to interact with servers using paymail specification.☆25Jan 9, 2023Updated 3 years ago
- A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.☆22Jun 14, 2022Updated 4 years ago
- Demo of turning the Lua interpreter into a WebAssembly component with wasm32-wasip2☆15Oct 8, 2025Updated 10 months ago
- Urbit Web App which allows users to easily view key stats and have administrative control over their Urbit ship straight from the web bro…☆13Apr 26, 2022Updated 4 years ago
- Scala implementation of the Tron whitepaper☆14Mar 16, 2018Updated 8 years ago
- A C++ based indexer for blockfiles that works on Bitcoin and its derivatives https://blkidx.org/☆10Jan 27, 2022Updated 4 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.
- Bitcoin software suite☆64Oct 5, 2021Updated 4 years ago
- hippo protocol core implementation☆21Jul 6, 2026Updated last month
- Agda to C compiler☆11Sep 23, 2025Updated 11 months ago
- Cryptography in SageMath.☆10Dec 17, 2018Updated 7 years ago
- ☆15Jun 10, 2022Updated 4 years ago
- Website for tracking double spends on the Bitcoin Cash network☆17Oct 2, 2020Updated 5 years ago
- An implementation for fair auditing and contingent payments in Bitcoin☆23Sep 11, 2017Updated 8 years ago