Explore projects

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

Git repo for the 2022 Practical Programming and Numerical Methods course

Stuff for the course Practical Programming and Numerical Methods.

Praktisk Programmering og numeriske metoder - F2020

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

A framework for smart contract verification in Coq

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