Updated 2024-11-26 03:12:05 +00:00
Updated 2024-11-18 18:08:10 +00:00
Cube visualizer for cubical type theory
Updated 2024-10-21 03:55:08 +00:00
Updated 2024-10-17 23:48:32 +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
App for looking up DDR score info, as a PWA.
Updated 2024-05-16 06:22:32 +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