Pinned Repositories
Algorithms
全面的算法代码仓库
Arch-Lab2
Computer Architectures course project 2 - A DNN accelerator simulator in Racket
Boolean-Algebra-in-Coq
(Incomplete) axiomatized Boolean algebra in Coq.
ChemicalEquationTool
用于LaTeX的简单化学方程式输入工具
Code
CommonLisp-to-DotNet-Compiler
《编译实习（实验班）》课程项目
dev-xys.github.io
Lazy-Desugaring
A Lazy Desugaring System for Evaluating Programs with Sugars
Learning-Haskell
Solutions to Programming in Haskell by Graham Hutton
Tester-for-Windows
基于控制台的程序评测系统
Dev-XYS's Repositories
Dev-XYS/Algorithms
全面的算法代码仓库
Dev-XYS/Lazy-Desugaring
A Lazy Desugaring System for Evaluating Programs with Sugars
Dev-XYS/Code
Dev-XYS/Tester-for-Windows
基于控制台的程序评测系统
Dev-XYS/CommonLisp-to-DotNet-Compiler
《编译实习（实验班）》课程项目
Dev-XYS/Arch-Lab2
Computer Architectures course project 2 - A DNN accelerator simulator in Racket
Dev-XYS/Boolean-Algebra-in-Coq
(Incomplete) axiomatized Boolean algebra in Coq.
Dev-XYS/ChemicalEquationTool
用于LaTeX的简单化学方程式输入工具
Dev-XYS/dev-xys.github.io
Dev-XYS/android-demo-app
PyTorch android examples of usage in applications
Dev-XYS/Learning-Haskell
Solutions to Programming in Haskell by Graham Hutton
Dev-XYS/Arch-Lab1
Dev-XYS/compiler
Dev-XYS/HLS-lab1
Utilities for HLS-lab1
Dev-XYS/IntelliM-BChain
Dev-XYS/Lexicology-Final-Paper-Database
Dev-XYS/lms-clean
Dev-XYS/mini-lms
Dev-XYS/Minimal-Style-Transfer
Course project for Introduction to Artificial Intelligence, Peking University.
Dev-XYS/OI-wiki
:star2: Wiki of OI / ICPC for everyone. （某大型游戏线上攻略，内含炫酷算术魔法）
Dev-XYS/OS-Labs
Dev-XYS/Reading-Chart.js
Dev-XYS/SocketLibrary
Dev-XYS/Tester
Dev-XYS/Tester-for-Linux
Dev-XYS/Utility
Dev-XYS/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.
Dev-XYS/vscode-extension-samples
Sample code illustrating the VS Code extension API.