Updated 2024-12-02 10:12:07 +00:00
Updated 2024-12-02 01:38:36 +00:00
Automation software
Updated 2024-11-30 23:52:09 +00:00
Updated 2024-11-27 22:43:49 +00:00
Personal blog
Updated 2024-11-27 22:38:37 +00:00
Personal life manager
Updated 2024-11-26 05:21:35 +00:00
Updated 2024-11-26 03:12:05 +00:00
Updated 2024-11-26 00:14:53 +00:00
Updated 2024-11-23 19:52:33 +00:00
Research
Updated 2024-11-22 17:45:52 +00:00
Updated 2024-11-18 18:08:10 +00:00
Updated 2024-11-13 23:49:40 +00:00
Updated 2024-11-12 07:49:01 +00:00
INSTALL AGDA EVERYWHERE
Updated 2024-11-03 09:00:25 +00:00
Language that compiles to various shells, like Amber-lang
Updated 2024-11-03 07:35:50 +00:00
Cube visualizer for cubical type theory
Updated 2024-10-21 03:55:08 +00:00
Updated 2024-10-21 00:35:31 +00:00
Updated 2024-10-17 23:48:32 +00:00
Updated 2024-10-17 17:45:21 +00:00
Updated 2024-10-11 23:57:58 +00:00