Personal configs for Neovim with LazyVim
Updated 2026-03-29 14:22:25 +00:00
Expanded LaTeX table for fcitx5-table-other
Updated 2026-03-28 22:23:29 +00:00
The Impressions File-System Image Generator from "Generating Realistic Impressions for File-System Benchmarking" (Agrawal 2009), now with bugs fixed.
Updated 2026-03-28 22:08:04 +00:00
Church-style System F with definitions in Redex.
Updated 2026-03-28 21:58:30 +00:00
Buggy primality-testing algorithms in Rust
Updated 2026-03-09 02:02:11 +00:00
Website formerly hosted at https://rocq.club before Rocq's rebranding
Updated 2026-02-20 04:42:44 +00:00
Docker Compose files for Thulium
Updated 2026-02-20 04:22:31 +00:00
research qualifier
Updated 2025-10-29 23:52:23 +00:00
NGINX configs for Thulium
Updated 2025-09-14 15:49:58 +00:00
Mechanization of a small amount of section I of the HoTT book in quite an old version of Idris 2.
Updated 2025-08-11 20:36:36 +00:00
Notes on categories with families, interpreting syntax into CwFs, and some semantic models.
Updated 2025-08-11 20:27:28 +00:00
Notes on type theory
Updated 2025-08-11 18:10:44 +00:00
Android app for generating random pastel colours. Also it's pronounced like "kwots".
Updated 2025-08-08 18:12:32 +00:00
Monorepo for all old Advent of Code solutions
Updated 2025-02-23 15:43:08 +00:00