Yushuo Xiao's repositories
Algorithms
全面的算法代码仓库
Lazy-Desugaring
A Lazy Desugaring System for Evaluating Programs with Sugars
Tester-for-Windows
基于控制台的程序评测系统
CommonLisp-to-DotNet-Compiler
《编译实习（实验班）》课程项目
Boolean-Algebra-in-Coq
(Incomplete) axiomatized Boolean algebra in Coq.
ChemicalEquationTool
用于LaTeX的简单化学方程式输入工具
android-demo-app
PyTorch android examples of usage in applications
Learning-Haskell
Solutions to Programming in Haskell by Graham Hutton
HLS-lab1
Utilities for HLS-lab1
000
Language:Python000
Language:Scala000
Minimal-Style-Transfer
Course project for Introduction to Artificial Intelligence, Peking University.
Language:PythonMIT000
OI-wiki
:star2: Wiki of OI / ICPC for everyone. （某大型游戏线上攻略，内含炫酷算术魔法）
000
Language:JavaScriptMIT000
Language:C++000
Language:C++000
Language:Shell000
viper-tutorial
This repo contains the sources of the official Viper tutorial (http://viper.ethz.ch/tutorial). Feel free to submit your fixes and additions via pull requests. Please report technical issues via the issue tracker.
000
vscode-extension-samples
Sample code illustrating the VS Code extension API.
Language:TypeScriptNOASSERTION000