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