Yichen Xu's Projects
A ball display widget written in Qt, prepared for the 2D Ball System.
A simple physics ball system written in pure C++.
A simple accumulator written in Verilog.
Agda is a dependently typed programming language / interactive theorem prover.
Learning Agda by solving katas
A curated list of awesome BUPT course projects. Inspired by awesome-... stuff.
北京邮电大学计算机学院本科编程作业索引
A curated list for awesome machine learning methods for neural code intelligence.
benchmark compilation of Dotty
A blocks game written with C++.
Yet another brain fuck interpreter implemented with pure C++.
Computer Architecture Lab
A simple game
Learning category theory by formalising it in Lean
Soundness proof for OOPSLA 2022 paper A case for DOT: Theoretical Foundations for Objects With Pattern Matching and GADT-style Reasoning.
cfvc: CodeForces contests Virtual Clone with single line of command (on Virtual Judge)
The UI for Project Chichar written in React.js.
Faster fine-tuning GPT for code generation.
VS Code in the browser
Code for CodeT5: a new code-aware pre-trained encoder-decoder model.
DOT calculus enhanced with constraints.
Manage ML experiments with ease. (https://github.com/CoordML)
A C++ class inspired by DataFrame of the Python library, pandas.
Repository for EPFL's CS-552: Modern NLP class
The deep convolutional generative adversarial model, written in Python, using keras with tensorflow as backend.
A deep learning neural network library implemented in pure C++.