# Examples

Besides the Hello World examples, you are encouraged to check out these more
complex and real-world use cases:

- [Ethereum state tests via powdr-RISCV + revm](https://github.com/powdr-labs/powdr-revme)
- [Brainfuck VM in 3 different implementations (powdr-asm interpreter, powdr-asm ISA, Rust interpreter + powdr-RISCV)](https://github.com/leonardoalt/powdr-brainfuck)
- [Machine Learning zkVM Compiler](https://github.com/Machine-Learning-zk-VM/ml-zkvm)