Essays about: "Lawerence Chonavel"
Found 1 essay containing the words Lawerence Chonavel.
-
1. Agda on Raspberry Pi
University essay from Göteborgs universitet/Institutionen för data- och informationsteknikAbstract : This thesis presents an Agda-to-C compiler targeting the Raspberry Pi Pico microcontroller. The compiler implementation includes an unusual choice of run-time algorithm, a Foreign Function Interface generator, and surprisingly little boilerplate code... READ MORE
Result pages:
1