ionchy · he/they
0 followers · 0 following
Repositories
12
 Projects Packages Public activity Starred repositories
Filter
Sort
docker-compose
Dockerfile 0 0
Docker Compose files for Thulium
Updated 2025-09-14 16:48:08 +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
rqual
TeX 0 0
research qualifier
Updated 2025-08-11 20:28:38 +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