Explore

ionchy/ nginx.conf

0 0

NGINX configs for Thulium

Updated 2025-08-28 05:55:17 +00:00

ionchy/ docker-compose

Dockerfile 0 0

Docker Compose files for Thulium

Updated 2025-08-26 11:57:54 +00:00

ionchy/ nvim

Lua 0 0

Personal configs for Neovim with LazyVim

Updated 2025-08-17 23:13:04 +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/ rqual

TeX 0 0

research qualifier

Updated 2025-08-11 20:28:38 +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

adventofcode/ 2018

Haskell 0 0

Solutions for https://adventofcode.com/2018/

Updated 2025-02-23 15:13:44 +00:00

adventofcode/ 2017

Haskell 0 0

Solutions for https://adventofcode.com/2017/

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

adventofcode/ 2022

Racket 0 0

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

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