Explore projects

TIl kurset: "Praktisk programmering og numeriske metoder" forår 2020.

Praktisk Programmering og numeriske metoder - F2020

A framework for smart contract verification in Coq

Basic blockchain implementation with additional finality layer based on Afgjort. Implemented as bachelor project 2020

Template for progress report for qualifying exam

Storage for TorsionBar example

Includes a code written to evaluate the radiation emitted from ultrarelativistic electrons and positrons channeling in oriented crystals, using CUDA. Armadillo is required to run.

For questions email: christianfn@phys.au.dk