Beast code in Giters

Leon2k2k2k's repositories

Source code library for Aplite, a purely functional lightweight programming language designed for backend/infrastructure development.

Language:RustNOASSERTION3 30

This is my academic website

Language:HTML200

My notes in preparation for the Fall 21 Harvard Math Qualification exam.

Language:TeXMIT1 10

Cowboy Sysop Charts

Language:MustacheMIT000

A secure JavaScript and TypeScript runtime

Language:RustMIT000

Notes of my EM duality mini-course

Language:TeX010

Test Rust application with multiple example workflows enabled

Language:RustCC0-1.0000

Language:JavaScriptMIT01 2

Language:Smarty000

Lean mathematical components library

Language:LeanApache-2.0000

010

A GitHub Action that implements smart caching for rust/cargo projects

Language:TypeScript000

Test suites for Web platform specs — including WHATWG, W3C, and others

Language:HTMLNOASSERTION000