ionchy · he/they
0 followers · 0 following
Repositories
11
 Projects Packages Public activity Starred repositories
Filter
Sort
nginx.conf
0 0
NGINX configs for Thulium
Updated 2025-08-28 05:55:17 +00:00
docker-compose
Dockerfile 0 0
Docker Compose files for Thulium
Updated 2025-08-26 11:57:54 +00:00
nvim
Lua 0 0
Personal configs for Neovim with LazyVim
Updated 2025-08-17 23:13:04 +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