Working through the book Logical Foundations by Ben Pierce
Updated 2020-10-21 22:16:31 +00:00
Local server for wakatime, statistics for coding activity
Updated 2020-12-21 20:08:38 +00:00
Updated 2023-02-16 01:44:07 +00:00
Updated 2023-08-04 03:38:06 +00:00
Updated 2021-08-09 07:55:28 +00:00
Updated 2023-01-14 13:41:07 +00:00
Updated 2021-08-11 06:18:03 +00:00
Updated 2023-11-29 00:19:41 +00:00
Updated 2021-08-06 17:03:11 +00:00
Cross-platform Japanese language-learning app based on Houhou SRS https://houhou-srs.com/
Updated 2023-06-16 01:18:46 +00:00
Updated 2024-01-09 01:29:34 +00:00
Updated 2023-07-10 12:04:36 +00:00
Forked from https://github.com/hoodunit/grub
Updated 2021-08-11 15:30:39 +00:00
Grocery tracker that is also somehow used to send files
Updated 2023-08-11 06:07:43 +00:00
Updated 2022-05-09 16:58:21 +00:00
Updated 2020-12-16 05:58:35 +00:00
Updated 2022-01-13 20:30:33 +00:00
Updated 2023-01-02 06:50:22 +00:00