Discover @ionathanch Open Source projects

Jonathan Chan (@ionathanch)

ionathanch

Stars
44
Global Rank 365,967 (Top 13 %)
Followers 37
Following 24
Registered almost 8 years ago
Most used languages

Racket
28.6 %

Idris 14.3 %

TeX
14.3 %

Agda 14.3 %

Assembly
7.1 %

Kotlin
7.1 %

C++
7.1 %

C
7.1 %
Location 🇨🇦 Canada
Country Total Rank 10,039
Country Ranking

Agda 7

Idris 10

Racket
13

TeX
215

Assembly
338

Kotlin
635

C
2,298

C++
4,072

system-f-redex

Church-style System F with definitions in Redex.

scraps

Various mechanized proof files for fun.

ttzoo

Notes on type theory.

ssh-keygen-ed25519-vanity

Generate a vanity EdDSA SSH key for fun.

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.

HoTT-Idris

Some HoTT in Idris.

ECC

Various woefully incomplete mechanizations of Luo's Extended Calculus of Constructions.

adventofcode-2020

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

PHYS319

Files used for PHYS 319, WT2 2018

adventofcode-2021

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

QUOZ

Android app for generating random pastel colours. Also it's pronounced like "kwots".

TT-model