Linxuan M's repositories
TinyMobFarm
A Minecraft Mod that adds single block mob farms that generates mob drops passively.
tfjs-keras-nlp
Javascript implementation of Keras layers for Natural Language Processing (keras-nlp).
singleline
Write your Python program in a single line!
taichi-playground
Some physics simulations written in Taichi.
amy-data-science
Repository for teaching Amy the samoyed some data science ;)
bad-spence
A DOI-based citation generator.
convex-opt
My notes and code for 10-725 Convex Optimization.
fourier-artist
A web app that draws using Fourier transform.
fun-seminars
Small, self-contained seminars for my YKPS class/Youtube/whatever.
lecture-notes
Notes taken from random lectures (mainly mathematics).
thinking-with-types-exercise
My solutions for following along Thinking with Types.
anti-recall
A simple script that prevents message recalling in a WeChat group chat.
codewars-authoring
My authored katas on Codewars.
DrawSVG
CMU 15-462/662: DrawSVG
GraphicsPlayground
Labs and homework for CMU 15-468.
hott-book-implementation
Pedagogic implementations (from scratch) of ideas and concepts in the HoTT book.
inf-desc
Formalization of stuff in An Infinite Descent into Pure Mathematics (for CMU 15-151).
leetcode-solutions
Just doing some LeetCode problems.
roots-symmtries-galois
An exploratory question paper that helps the reader gain a basic intuition towards Galois theory.
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.
ykps-x
Utilities for random YKPS-related actions.