ionchy

github-scripts Archived

Racket 0 0

A collection of Racket scripts for manipulating student repositories on GitHub as course staff.

Updated 2026-10-29 13:24:24 +00:00

LunaLaTeX

TeX 0 0

L🌜aLaTeX

Updated 2026-10-24 21:06:06 +00:00

docker-compose

Dockerfile 0 0

Docker Compose files for Thulium

Updated 2026-10-23 21:51:44 +00:00

nginx.conf

0 0

NGINX configs for Thulium

Updated 2026-10-22 17:17:25 +00:00

proof-graphs

Typst 0 0

Natural deduction proofs as directed acyclic proof graphs

Updated 2026-10-19 19:03:15 +00:00

HTMLean

Lean 0 0

An HTML DSL in Lean

Updated 2026-10-02 17:56:48 +00:00

fcitx5-table-latex

Makefile 0 0

Expanded LaTeX table for fcitx5-table-other

Updated 2026-09-14 19:16:11 +00:00

nvim

Lua 0 0

Personal configs for Neovim with LazyVim

Updated 2026-08-22 15:28:29 +00:00

impressions

C++ 0 0

The Impressions File-System Image Generator from "Generating Realistic Impressions for File-System Benchmarking" (Agrawal 2009), now with bugs fixed.

Updated 2026-03-28 22:08:04 +00:00

system-f-redex

Racket 0 0

Church-style System F with definitions in Redex.

redex system-f

Updated 2026-03-28 21:58:30 +00:00

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

rqual

TeX 0 0

research qualifier

Updated 2025-10-29 23:52:23 +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