Cube visualizer for cubical type theory
Updated 2024-10-03 01:56:16 +00:00
Updated 2024-09-14 06:39:03 +00:00
Plugin for processing Literate Agda files with Remark
Updated 2024-09-13 00:58:41 +00:00
Updated 2024-08-27 22:09:57 +00:00
Updated 2024-08-01 02:50:12 +00:00
Personal life manager
Updated 2024-07-27 22:01:01 +00:00
Flexible mind map database
Updated 2024-06-28 00:23:43 +00:00
osu recommendation system
Updated 2024-06-01 01:37:26 +00:00
App for looking up DDR score info, as a PWA.
Updated 2024-05-16 06:22:32 +00:00
Updated 2024-05-11 07:49:50 +00:00
Updated 2024-05-06 06:15:00 +00:00
The web framework that scales with you — Build fast content sites, powerful web applications, dynamic server APIs, and everything in-between ️ Star to support our work!
Updated 2023-10-12 22:11:24 +00:00
Updated 2023-10-05 05:42:55 +00:00
Updated 2023-10-04 19:10:55 +00:00
Updated 2023-09-06 02:30:04 +00:00
Updated 2023-08-24 21:21:54 +00:00
Grocery tracker that is also somehow used to send files
Updated 2023-08-11 06:07:43 +00:00
Updated 2023-08-02 02:20:19 +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 2023-04-25 13:16:46 +00:00