ionchy

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

docker-compose

Dockerfile 0 0

Docker Compose files for Thulium

Updated 2026-02-20 04:22:31 +00:00

rqual

TeX 0 0

research qualifier

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

nginx.conf

0 0

NGINX configs for Thulium

Updated 2025-09-14 15:49:58 +00:00

nvim

Lua 0 0

Personal configs for Neovim with LazyVim

Updated 2025-09-11 23:59:02 +00:00

fcitx-table-latex

Makefile 0 0

Expanded LaTeX table for fcitx5-table-other

Updated 2025-09-04 14:47:05 +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

adventofcode

0 0

Monorepo for all old Advent of Code solutions

Updated 2025-02-23 15:43:08 +00:00

projecteuler

C 0 0

Solutions to https://projecteuler.net/

Updated 2025-02-23 15:31:35 +00:00