Explore projects

ZKG - Parallel Zero Knowledge Proofs on the GPU

Groups 4's awesome LEGO project

Praktisk Programmering og numeriske metoder - F2020

Digital Testbed and Benchmark Development

Exercises for practial programering and numerical methods

Storage for TorsionBar example

A framework for smart contract verification in Coq