Personal life manager
Updated 2025-02-06 17:41:57 +00:00
Updated 2025-01-17 23:16:45 +00:00
OS Experiment #0
Updated 2025-01-17 03:35:22 +00:00
Updated 2024-12-02 10:38:34 +00:00
Automation software
Updated 2024-11-30 23:52:09 +00:00
Updated 2024-11-13 23:49:40 +00:00
INSTALL AGDA EVERYWHERE
Updated 2024-11-03 09:00:25 +00:00
Updated 2024-08-22 17:04:47 +00:00
Updated 2024-06-27 21:24:53 +00:00
Updated 2024-06-27 16:06:54 +00:00
Updated 2024-05-01 05:17:06 +00:00
An implementation of bidirectional type checking for a SystemF-like language
Updated 2024-04-21 23:50:52 +00:00
Updated 2024-02-08 06:03:39 +00:00
CSCI 8980 (002) Special Advanced Topics in Computer Science (Fall 2023)
Updated 2024-01-26 20:36:33 +00:00
Block-pushing puzzle game
Updated 2024-01-26 01:41:57 +00:00
Keeps your Discord server event list up to date with CTFtime
Updated 2024-01-10 01:54:35 +00:00
all in one chat
Updated 2023-12-25 23:06:16 +00:00
Updated 2023-10-26 22:23:32 +00:00
rust npm
Updated 2023-09-18 08:30:31 +00:00
Updated 2023-08-20 10:10:09 +00:00