Repositories Users Organizations
Filter
Sort
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
ionchy/ LunaLaTeX
TeX 0 0
L🌜aLaTeX
Updated 2026-10-24 21:06:06 +00:00
ionchy/ docker-compose
Dockerfile 0 0
Docker Compose files for Thulium
Updated 2026-10-23 21:51:44 +00:00
ionchy/ nginx.conf
0 0
NGINX configs for Thulium
Updated 2026-10-22 17:17:25 +00:00
ionchy/ proof-graphs
Typst 0 0
Natural deduction proofs as directed acyclic proof graphs
Updated 2026-10-19 19:03:15 +00:00
ionchy/ HTMLean
Lean 0 0
An HTML DSL in Lean
Updated 2026-10-02 17:56:48 +00:00
ionchy/ fcitx5-table-latex
Makefile 0 0
Expanded LaTeX table for fcitx5-table-other
Updated 2026-09-14 19:16:11 +00:00
ionchy/ nvim
Lua 0 0
Personal configs for Neovim with LazyVim
Updated 2026-08-22 15:28:29 +00:00
ionchy/ 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
ionchy/ 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
ionchy/ is-prime
Rust 0 0
Buggy primality-testing algorithms in Rust
Updated 2026-03-09 02:02:11 +00:00
ionchy/ 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
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/ 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