# Libraries

* [Bitcoin compiler in C++](https://github.com/maitrebitcoin/bitcoin-bitvm-compiler)
* [BitVM Toy Implementation](https://github.com/BitVM/BitVM)
* [BitVM in Rust](https://github.com/BitVM/rust-bitcoin-scriptexec)
* [LogicGates: Logical gates in Python for different scenarios on BitVM (Phython)](https://github.com/mcbagz/LogicGates)
* [SHA256 WASM](https://github.com/BitVM/sha256)
* [BLAKE3 WASM](https://github.com/BitVM/blake3)
* [RIPEMD160 WASM](https://github.com/BitVM/ripemd160)
* [Elftrace](https://github.com/halseth/elftrace)
* [rv32i to BitVM](https://github.com/zippiehq/rv32i-to-bitvm)
* [Toy BitVM RS](https://github.com/chainwayxyz/toy-bitvm-rs)
* [Tapleaf Circuits](https://github.com/supertestnet/tapleaf-circuits)