Linxuan M's repositories
wizard-engine
Research WebAssembly Engine
virgil-lsp
A language server for the Virgil programming language.
serpent-vscode
Syntax highlighting (token-based) for Serpent language in VS Code.
incremental-sml
(WIP) Incremental compilation framework for Standard ML
math-notes
Lecture notes on undergraduate-level mathematics.
serpent-github-actions
GitHub Actions environment setup for Serpent lang.
c0-utils
Random C0 functions that may be useful for writing bigger projects.
serpent-libs
Misc libraries for the Serpent programming language.
inf-desc
Formalization of stuff in An Infinite Descent into Pure Mathematics (for CMU 15-151).
hott-book-implementation
Pedagogic implementations (from scratch) of ideas and concepts in the HoTT book.
singleline
Write your Python program in a single line!
seven-trees-in-one
Agda implementation of Seven Trees in One (Blass, 1994).
to-fractan-compiler
A compiler that compiles a custom language to Fractan.
fun-seminars
Small, self-contained seminars for my YKPS class/Youtube/whatever.
leetcode-solutions
Just doing some LeetCode problems.
fourier-artist
A web app that draws using Fourier transform.
anti-recall
A simple script that prevents message recalling in a WeChat group chat.
ykps-x
Utilities for random YKPS-related actions.
tfjs-keras-nlp
Javascript implementation of Keras layers for Natural Language Processing (keras-nlp).
amy-data-science
Repository for teaching Amy the samoyed some data science ;)
TinyMobFarm
A Minecraft Mod that adds single block mob farms that generates mob drops passively.
GraphicsPlayground
Labs and homework for CMU 15-468.
bad-spence
A DOI-based citation generator.
codewars-authoring
My authored katas on Codewars.
convex-opt
My notes and code for 10-725 Convex Optimization.