Stars
Inline Bitcoin scripts in Rust
Helper lib to write complex bitcoin scripts
Rust-like high-level language that compiles down to Simplicity bytecode. Work in progress.
SMAC3: A Versatile Bayesian Optimization Package for Hyperparameter Optimization
Bitcoin DSL for scripting layer two contracts and interactions with bitcoin nodes
Integrating Stone Prover's generated proofs with the Cairo0 verifier
Subcommand to show result of macro expansion
Arithmetic over the M31 or BabyBear field in Bitcoin Script
Bitcoin Script interpreter implemented in Rust
The Nexus zkVM: The zero-knowledge virtual machine
blingful character graphics/TUI library. definitely not curses.
A list of semi to fully remote-friendly companies (jobs) in tech.
A feature-rich command-line audio/video downloader
A humble library for working with Tapscript and Bitcoin Transactions.
Verilog implementation of the 32-bit version of the Blake2 hash function
Open source logic circuit simualtor written in Rust.
A proof-of-concept implementation of BitVM for bristol circuits
A STARK-based VM focused on code reuse, performance, and modularity
A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM