ionchy

nvim

Lua 0 0

Personal configs for Neovim with LazyVim

Updated 2026-08-22 15:28:29 +00:00

nginx.conf

0 0

NGINX configs for Thulium

Updated 2026-08-14 17:55:07 +00:00

docker-compose

Dockerfile 0 0

Docker Compose files for Thulium

Updated 2026-08-10 01:54:50 +00:00

proof-graphs

Typst 0 0

Natural deduction proofs as directed acyclic proof graphs

Updated 2026-08-06 15:37:04 +00:00

fcitx5-table-latex

Makefile 0 0

Expanded LaTeX table for fcitx5-table-other

Updated 2026-04-06 22:31:17 +00:00

impressions

C++ 0 0

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

system-f-redex

Racket 0 0

Church-style System F with definitions in Redex.

redex system-f

Updated 2026-03-28 21:58:30 +00:00

is-prime

Rust 0 0

Buggy primality-testing algorithms in Rust

Updated 2026-03-09 02:02:11 +00:00

rocq.club Archived

HTML 0 0

Website formerly hosted at https://rocq.club before Rocq's rebranding

Updated 2026-02-20 04:42:44 +00:00

rqual

TeX 0 0

research qualifier

Updated 2025-10-29 23:52:23 +00:00

HoTT

Idris 0 0

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

cwf-notes

TeX 0 0

Notes on categories with families, interpreting syntax into CwFs, and some semantic models.

Updated 2025-08-11 20:27:28 +00:00

ttzoo

TeX 0 0

Notes on type theory

Updated 2025-08-11 18:10:44 +00:00

SimPLambda Archived

OCaml 0 0

Mostly follows https://www.cs.cornell.edu/courses/cs3110/2019fa/textbook/interp/inference.html.

Updated 2025-08-08 18:42:05 +00:00

QUOZ

Kotlin 0 0

Android app for generating random pastel colours. Also it's pronounced like "kwots".

Updated 2025-08-08 18:12:32 +00:00