Updated 2025-12-09 14:43:13 +00:00
Updated 2025-12-04 10:17:42 +00:00
Small lambda calculus language
Updated 2025-11-28 09:49:43 +00:00
Sudo solver written in haskell
Updated 2025-10-08 20:43:13 +00:00
Updated 2024-12-12 09:47:12 +00:00
Updated 2024-02-27 21:36:24 +00:00
Ha(C)kell Disk Usage
Updated 2023-10-18 12:50:58 +00:00
Updated 2022-10-30 18:14:23 +00:00