Explore

ionchy/ is-prime

Buggy primality-testing algorithms in Rust

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

ionchy/ rocq.club Archived

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

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

ionchy/ docker-compose

Dockerfile 0 0

Docker Compose files for Thulium

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

adventofcode/ 2025

Haskell 0 0

Solutions to https://adventofcode.com/2025/

Updated 2026-01-24 05:53:36 +00:00

ionchy/ rqual

TeX 0 0

research qualifier

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

ionchy/ nginx.conf

0 0

NGINX configs for Thulium

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

ionchy/ nvim

Lua 0 0

Personal configs for Neovim with LazyVim

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

ionchy/ fcitx-table-latex

Makefile 0 0

Expanded LaTeX table for fcitx5-table-other

Updated 2025-09-04 14:47:05 +00:00

ionchy/ 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

ionchy/ 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

ionchy/ ttzoo

TeX 0 0

Notes on type theory

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

ionchy/ 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

ionchy/ 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

CIS6700-Spring2025/ CBPV

TeX 0 0

Final project: Strong normalization of call-by-push-value.

Updated 2025-08-08 14:56:27 +00:00

PHYS319-2018WT2/ labs

Assembly 0 0

Files used for PHYS 319, WT2 2018

Updated 2025-02-23 17:03:31 +00:00

ionchy/ adventofcode

0 0

Monorepo for all old Advent of Code solutions

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

ionchy/ projecteuler

C 0 0

Solutions to https://projecteuler.net/

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

adventofcode/ 2021

Racket 0 0

Solutions to https://adventofcode.com/2021/

Updated 2025-02-23 15:16:17 +00:00

adventofcode/ 2020

Racket 0 0

Solutions to https://adventofcode.com/2020/

Updated 2025-02-23 15:15:40 +00:00

adventofcode/ 2019

Racket 0 0

Solution to https://adventofcode.com/2019/

Updated 2025-02-23 15:14:21 +00:00