Pinned Repositories
c0-in-c0
A C0 compiler to x86 ASM, written in C0.
donkey
Donkey is an online IDE and debugger for IB Pseudocode.
MendingGems
A Minecraft mod that adds gems that repair items in the player's inventory.
mini-jvm
A simple implementation of a Java Virtual Machine.
overlay
A package that creates and manipulates screen overlays based on tkinter.
singleline
Write your Python program in a single line!
tfjs-keras-nlp
Javascript implementation of Keras layers for Natural Language Processing (keras-nlp).
TinyMobFarm
A Minecraft Mod that adds single block mob farms that generates mob drops passively.
Voxels
Voxels is a 3D first person sandbox game created for YKPS Academic Challenge.
wizard-engine
Research WebAssembly Engine
linxuanm's Repositories
linxuanm/overlay
A package that creates and manipulates screen overlays based on tkinter.
linxuanm/TinyMobFarm
A Minecraft Mod that adds single block mob farms that generates mob drops passively.
linxuanm/mini-jvm
A simple implementation of a Java Virtual Machine.
linxuanm/donkey
Donkey is an online IDE and debugger for IB Pseudocode.
linxuanm/tfjs-keras-nlp
Javascript implementation of Keras layers for Natural Language Processing (keras-nlp).
linxuanm/singleline
Write your Python program in a single line!
linxuanm/c0-in-c0
A C0 compiler to x86 ASM, written in C0.
linxuanm/illumina
Functional, parallel programming language with IDE integration for analysis and visualization.
linxuanm/amy-data-science
Repository for teaching Amy the samoyed some data science ;)
linxuanm/bad-spence
A DOI-based citation generator.
linxuanm/anti-recall
A simple script that prevents message recalling in a WeChat group chat.
linxuanm/c0-utils
Random C0 functions that may be useful for writing bigger projects.
linxuanm/codewars-authoring
My authored katas on Codewars.
linxuanm/convex-opt
My notes and code for 10-725 Convex Optimization.
linxuanm/fourier-artist
A web app that draws using Fourier transform.
linxuanm/fun-seminars
Small, self-contained seminars for my YKPS class/Youtube/whatever.
linxuanm/GraphicsPlayground
Labs and homework for CMU 15-468.
linxuanm/hott-book-implementation
Pedagogic implementations (from scratch) of ideas and concepts in the HoTT book.
linxuanm/incremental-sml
(WIP) Incremental compilation framework for Standard ML
linxuanm/inf-desc
Formalization of stuff in An Infinite Descent into Pure Mathematics (for CMU 15-151).
linxuanm/leetcode-solutions
Just doing some LeetCode problems.
linxuanm/math-notes
Lecture notes on undergraduate-level mathematics.
linxuanm/serpent-github-actions
GitHub Actions environment setup for Serpent lang.
linxuanm/serpent-libs
Misc libraries for the Serpent programming language.
linxuanm/serpent-vscode
Syntax highlighting (token-based) for Serpent language in VS Code.
linxuanm/seven-trees-in-one
Agda implementation of Seven Trees in One (Blass, 1994).
linxuanm/to-fractan-compiler
A compiler that compiles a custom language to Fractan.
linxuanm/virgil-lsp
A language server for the Virgil programming language.
linxuanm/wizard-engine
Research WebAssembly Engine
linxuanm/ykps-x
Utilities for random YKPS-related actions.