Explore projects

A framework for smart contract verification in Coq

Storage for TorsionBar example

Digital Testbed and Benchmark Development

Mini project repo for TIWSNE

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

Digital Testbed and Benchmark Development

Contents relevant for Modelling I: computer exercise 1 (ES calculations on H2 and H2+).

Digital Testbed and Benchmark Development

Template for progress report for qualifying exam

The main firmware for the Crazyflie Nano Quadcopter, Crazyflie Bolt Quadcopter and Roadrunner Positioning Tag.