Cass Alexandru
@cxandruFP enthusiast. I like working with: Haskell, Emacs, Agda, Nix, LaTeX. I sometimes use Bash, Python and have worked with Isabelle, Rocq, FSharp, Java, Scala
Language Breakdown
Lines of code distribution across 11 owned repositories
M-Shaped Developer
M-shapedMulti-specialist across Jupyter Notebook, Haskell, Python
Collaboration Network
Global Impact visualization
Repos
23
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Steven Schaefer
@stschaef
Lawrence Chonavel
@lawcho
Jim Fowler
@kisonecat
letac
@letac
Chiara Fend
@cfend
Top Repositories
A nix environment for sac (sac-home.org)
Folien zu bestimmten Konzepten aus der funktionalen Programmierung. Kontext: https://uni2work.ifi.lmu.de/course/S19/IfI/ProMo
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
HoTTEST Summer School materials
Intrinsic Verification of Formal Grammar Theory
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
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.
A new Categories library for Agda
Compiling to Categories
Open Source Impact
Contributions to external projects
