A linguist who happens to love computation
-
The Chinese University of Hong Kong
- Hong Kong
-
16:43
(UTC +08:00) - https://orcid.org/0009-0002-1847-8734
Popular repositories Loading
-
melpa
melpa PublicForked from melpa/melpa
Recipes and build machinery for the biggest Emacs package repo
Emacs Lisp 1
-
-
shplait
shplait PublicForked from mflatt/shplait
Based on Plait (based on PLAI Typed, based on PLAI), but in Shrubbery notation
Racket 1
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.