Pinned Repositories
charts
Cowboy Sysop Charts
deno
A secure JavaScript and TypeScript runtime
EM-duality-notes
Notes of my EM duality mini-course
example
Test Rust application with multiple example workflows enabled
github-actions-for-ci
harvard-qual
My notes in preparation for the Fall 21 Harvard Math Qualification exam.
helm-charts
leon2k2k2k.github.io
This is my academic website
mathlib
Lean mathematical components library
xi_pl
Source code library for Aplite, a purely functional lightweight programming language designed for backend/infrastructure development.
leon2k2k2k's Repositories
leon2k2k2k/xi_pl
Source code library for Aplite, a purely functional lightweight programming language designed for backend/infrastructure development.
leon2k2k2k/leon2k2k2k.github.io
This is my academic website
leon2k2k2k/harvard-qual
My notes in preparation for the Fall 21 Harvard Math Qualification exam.
leon2k2k2k/charts
Cowboy Sysop Charts
leon2k2k2k/deno
A secure JavaScript and TypeScript runtime
leon2k2k2k/EM-duality-notes
Notes of my EM duality mini-course
leon2k2k2k/example
Test Rust application with multiple example workflows enabled
leon2k2k2k/github-actions-for-ci
leon2k2k2k/helm-charts
leon2k2k2k/mathlib
Lean mathematical components library
leon2k2k2k/nlab-redirect
leon2k2k2k/old-website
leon2k2k2k/rust-cache
A GitHub Action that implements smart caching for rust/cargo projects
leon2k2k2k/wpt
Test suites for Web platform specs — including WHATWG, W3C, and others