Popular repositories Loading

1. RU_Funtional_Programming RU_Funtional_Programming Public

   This is a repository containing all the weekly assignments from the Funtional Programming course at Radboud University in the academic year 2023-2024

   Haskell

2. bachelor-thesis bachelor-thesis Public

   TeX

3. box-formalisation box-formalisation Public

   This repository contains all agda code for the formalisation of the boxed lambda calculus discussed in my bachelor's thesis

   TeX

4. call-by-box call-by-box Public

   Agda

5. final-presentation final-presentation Public

   TeX

6. advent-of-code-2023 advent-of-code-2023 Public

   Python