Yichen Xu's Projects
MODIFYED
Wechat mini program for "Meet Better Self in IPOC"
Ongoing research training transformer language models at scale, including: BERT & GPT-2
A cute little library for Cats.
Virtual machine of a self-designed MIPS-like instruction set, written in Haskell. A toy compiler targeting the MIPS-like assemble language is also included.
A tiny MLTT theorem prover
Building the natural numbers in Lean.
My Jupyter Notebooks
Benchmark datasets, data loaders, and evaluators for graph machine learning
A modern port of the org2mindmap tool pandoc-mm (https://github.com/vzaccaria/pandoc-mm).
My Experiment to create a native document management application for macOS with Swift and SwiftUI.
A simple monitor to watch your pi, written in Haskell.
计算机自学指南
:alarm_clock: AI conference deadline countdowns
Notes for Programming Language Foundations in Agda (PLFA).
An introduction to programming language theory in Agda
Curated list of project-based tutorials
Yet another Lox interpreter implemented with Python.
A minimize chat room written by Python.
Rust implementation of the Lox language.
A game to drive the spaceship around the planets written in ClojureScript.
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
My spacemacs.d.
Yet another space web game.
Programming language experiments.
Collecting Github data for theorem-proving scripts.