Balzac is a domain-specific language to write Bitcoin transactions.
☆26Jul 12, 2025Updated 8 months ago
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
- Transaction script compiler☆14Oct 25, 2016Updated 9 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
- Nakasendo SDK installed on a CentOS container - Only supports c++ for now☆11Nov 4, 2019Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Operate command line utility to help author and publish Ops to the blockchain.☆12Mar 22, 2022Updated 4 years ago
- Actor-based Runtime Verification Tool☆19Apr 13, 2023Updated 2 years ago
- CUTP Contracts☆11Mar 9, 2021Updated 5 years ago
- SLIP-39 Library based on a fork of Daan Sprenkles' SSS Library for Shamir secret sharing☆14May 15, 2020Updated 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
- Cyber-Physical V&V Challenges for the Evaluation of State of the Art Model Checkers☆13Feb 12, 2020Updated 6 years ago
- Bitcoin script compilation, manipulation and decompilation☆14Sep 10, 2020Updated 5 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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆10Sep 25, 2019Updated 6 years ago
- Modern base template for building dApps on the Midnight Network. Includes smart contracts, backend APIs, CLI tools, and frontend UI.☆19Oct 16, 2025Updated 5 months ago
- Source code of the Blockchain platform Erachain☆11Jun 8, 2025Updated 9 months ago
- Explorer of cardano-sl☆10Dec 7, 2022Updated 3 years ago
- A browser-based Cardano wallet for developers & testers☆14Jun 2, 2025Updated 9 months ago
- A library for Rabin Signature☆16Jun 16, 2024Updated last year
- 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 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 8 years ago
- ☆16Apr 29, 2020Updated 5 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.
- Website for tracking double spends on the Bitcoin Cash network☆17Oct 2, 2020Updated 5 years ago
- A zk-friendly, Rust-based WebAssembly virtual machine designed for safe, high-performance execution and blockchain compatibility.☆19Mar 18, 2026Updated last week
- Bitcoin software suite☆64Oct 5, 2021Updated 4 years ago
- craft.cash is a voxel drawing program implemented on the bitcoin cash blockchain☆24Dec 8, 2022Updated 3 years ago
- ☆17Mar 9, 2016Updated 10 years ago
- Hazook is a fast ZK-Rollup built on Mina that parallelizes the accumulation of zk state proofs☆16Jan 24, 2024Updated 2 years ago
- ☆70Dec 13, 2021Updated 4 years ago
- nominal sets in haskell☆19Nov 18, 2018Updated 7 years ago
- Agda to C compiler☆10Sep 23, 2025Updated 6 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- A mini scripting language for all things Bitcoin☆205Jan 13, 2026Updated 2 months ago
- Probabilistic music composition in Idris2☆16Dec 23, 2022Updated 3 years ago
- Temporary repository for systemizing Bitcoin knowledge.☆22Nov 30, 2015Updated 10 years ago
- Js client to interact with servers using paymail specification.☆25Jan 9, 2023Updated 3 years ago
- ☆24Aug 10, 2018Updated 7 years ago
- An implementation for fair auditing and contingent payments in Bitcoin☆23Sep 11, 2017Updated 8 years ago
- Bitcoin Consensus Library (optional)☆49Jul 8, 2024Updated last year