Updated 2023-09-12 06:00:25 -04:00

Updated 2022-12-13 08:27:28 -05:00

Updated 2023-11-09 00:10:02 -05:00

My doom emacs configuration

Updated 2023-09-21 13:50:38 -04:00

Updated 2023-04-05 10:00:16 -04:00

My scripts and custom configuration for team fortress 2

Updated 2023-05-02 18:15:48 -04:00

Updated 2023-10-21 19:00:39 -04:00

Learning Idris 2 with progressively more complicated prime generating sieves

Updated 2023-06-23 11:10:03 -04:00

Updated 2023-06-30 18:15:43 -04:00

Updated 2023-07-26 04:54:46 -04:00