Here are some things I've worked on:
- Tosi platform for issuing and verifying digital assets linked to real-world registries
- fancy-cat PDF reader for terminal emulators using the Kitty image protocol
- fzwatch lightweight and cross-platform file watcher
- rives-contracts smart contracts for RIVES, a RISC-V Verifiable Entertainment System
- Cartesi Compute verifiable computation platform using Linux VMs with RISC-V proofs