Essays about: "Raspbery Pi"

Found 1 essay containing the words Raspbery Pi.

  1. 1. Agda on Raspberry Pi

    University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

    Author : Lawerence Chonavel; [2023-10-25]
    Keywords : Agda; Compiler; Raspbery Pi; Functional Programming; BUBS;

    Abstract : 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