Pinned Repositories
BitVM
ckb-vm
CKB's vm, based on open source RISC-V ISA
darkfi
Anonymous. Uncensored. Sovereign.
eeric
A online RISC-V simulator with vector instructions support
HyCC
machine-emulator
The off-chain implementation of the Cartesi Machine
risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
rvemu
RISC-V emulator for CLI and Web written in Rust with WebAssembly. It supports xv6 and Linux (ongoing).
tapleaf-circuits
A proof-of-concept implementation of BitVM for bristol circuits
vscode
Visual Studio Code
dark-john's Repositories
dark-john/BitVM
dark-john/ckb-vm
CKB's vm, based on open source RISC-V ISA
dark-john/darkfi
Anonymous. Uncensored. Sovereign.
dark-john/eeric
A online RISC-V simulator with vector instructions support
dark-john/HyCC
dark-john/machine-emulator
The off-chain implementation of the Cartesi Machine
dark-john/risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
dark-john/rvemu
RISC-V emulator for CLI and Web written in Rust with WebAssembly. It supports xv6 and Linux (ongoing).
dark-john/tapleaf-circuits
A proof-of-concept implementation of BitVM for bristol circuits
dark-john/vscode
Visual Studio Code