ionathanch
Grad student in PL & former splabmate · MSc @ UBC ⇝ PhD @ UPenn
PLClub @ UPennVancouver, Canada
ionathanch's Stars
JoeyEremondi/lean-cwf
A basic Categories with Families library for Lean
ralsei/types.pl
The glitch-soc/Mastodon fork running on types.pl
UniMath/agda-unimath
The agda-unimath library
braxtonhall/bobs-club
a web ring for friends
CoqHott/logrel-coq
Logical Relation for MLTT in Coq
cadars/john-doe
A simple way to make HTML websites
jespercockx/agda-core
A work-in-progress core language for Agda, in Agda
novomesk/qt-jpegxl-image-plugin
Qt plug-in to allow Qt and KDE based applications to read/write JXL images.
blackle/mastodon-data-viewer.py
a viewer for mastodon export data
braxtonhall/fib
the fibonacci only you would give me
ubccpsc/spl
plclub/plclub-web
A Hakyll [plclub] website (https://www.cis.upenn.edu/~plclub/)
fongandrew/hydeout
A refreshed version of Hyde for Jekyll 3.x and 4.x
martinescardo/TypeTopology
Logical manifestations of topological concepts, and other things, via the univalent point of view.
martinescardo/HoTT-UF-Agda-Lecture-Notes
Lecture notes on univalent foundations of mathematics with Agda
pts/pdfsizeopt
PDF file size optimizer
xBytez/duo-cli
Duo Command Line App
rcslab/duo-cli
Duo Command Line App
michaelt/martin-lof
papers of Per Martin Löf