VDM code generation targeting ANSI C
Lego NXT project for the course: digital control in a physical world
Triple-alpha breakup simulation based on Balamuth's formula