Repositories
14
 Projects Packages Public activity Starred repositories
Filter
Sort
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
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