ionathanch
Grad student in PL & former splabmate · MSc @ UBC ⇝ PhD @ UPenn
PLClub @ UPennVancouver, Canada
Pinned Repositories
cwf-notes
Notes on categories with families, interpreting syntax into CwFs, and some semantic models.
github-scripts
A collection of Racket scripts for manipulating student repositories on GitHub as course staff.
impressions
The Impressions File-System Image Generator from "Generating Realistic Impressions for File-System Benchmarking" (Agrawal 2009), now with bugs fixed.
msc-thesis
LaTeX source for Sized Dependent Types via Extensional Type Theory
parapoly
A LaTeX-typeset reproduction of Reynolds' "Types, Abstraction and Parametric Polymorphism"
scraps
Various mechanized proof files for fun.
ssh-keygen-ed25519-vanity
Generate a vanity EdDSA SSH key for fun.
system-f-redex
Church-style System F with definitions in Redex.
TT-model
A logical relations model of a minimal type theory with universes mechanized in Agda.
ttzoo
Notes on type theory.
ionathanch's Repositories
ionathanch/PHYS319
Files used for PHYS 319, WT2 2018
ionathanch/QUOZ
Android app for generating random pastel colours. Also it's pronounced like "kwots".
ionathanch/adventofcode-2017
Solutions for https://adventofcode.com/2017/.
ionathanch/projecteuler
Solutions to Project Euler problems.