Cass Alexandru's Projects
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
A new Categories library for Agda
bash scripts for the ELO of RU
Compiling to Categories
I needed to create a vector graphic static code-rain of math symbols with a custom color gradient and there wasn't anything out there, so here goes.
My personal website
The Agda development for the APLAS 2023 paper "A Fresh Look at Commutativity: Free Algebraic Structures via Fresh Lists" by myself, Fredrik Nordvall Forsberg, and Clemens Kupke.
Folien zu bestimmten Konzepten aus der funktionalen Programmierung. Kontext: https://uni2work.ifi.lmu.de/course/S19/IfI/ProMo
A toy SROBDD implementation in Haskell using recursion schemes and State Monad
Haskell bindings to Microsoft's Z3 API (unofficial).
Various notebooks for visualizing mathematical problems encountered in the course of my research for Mathe für Nicht Freaks: https://de.m.wikibooks.org/wiki/Mathe_f%C3%BCr_Nicht-Freaks
Source code of graphics I create for the Mathe für Nicht-Freaks Project:https://de.m.wikibooks.org/wiki/Mathe_f%C3%BCr_Nicht-Freaks
Nix Packages collection
Repository for my personal blog
A nix environment for sac (sac-home.org)
Talk for Master's seminar detailing cata for (Mutually) Recursive ADTs (with Category Theory). Adapted for MuniHac 2022 (https://munihac.de/2022.html). Talk description there: _Structured traversals (a.k.a. recursion schemes) show up all the time when working with inductive algebraic datatypes (s.a. lists), once you know what to look for. We examine the simplest of these, the humble catamorphism (foldr for lists), following its journey from motivation, then via its origin in category theory into the more turbulent waters of mutually recursive datatypes (s.a. ASTs), putting Haskell's amenities for type-level programming and basic dependent types to work along the way. The theoretical foundation for the presentation is the multirec paper by Andres Löh et al._