Dev-XYS
Follow
-
viper-tutorial Public
Forked from viperproject/tutorialThis 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…
UpdatedJan 14, 2024 -
-
-
Lazy-Desugaring Public
A Lazy Desugaring System for Evaluating Programs with Sugars
-
vscode-extension-samples Public
Forked from microsoft/vscode-extension-samplesSample code illustrating the VS Code extension API.
TypeScript Other UpdatedJan 21, 2022 -
-
-
lms-clean Public
Forked from TiarkRompf/lms-cleanScala BSD 3-Clause "New" or "Revised" License UpdatedAug 31, 2021 -
Minimal-Style-Transfer Public
Course project for Introduction to Artificial Intelligence, Peking University.
Python MIT License UpdatedJul 2, 2021 -
android-demo-app Public
Forked from pytorch/android-demo-appPyTorch android examples of usage in applications
Java UpdatedJul 2, 2021 -
Arch-Lab2 Public
Computer Architectures course project 2 - A DNN accelerator simulator in Racket
-
-
-
Boolean-Algebra-in-Coq Public
(Incomplete) axiomatized Boolean algebra in Coq.
-
-
Learning-Haskell Public
Solutions to Programming in Haskell by Graham Hutton
Haskell UpdatedSep 2, 2020 -
OI-wiki Public
Forked from OI-wiki/OI-wiki🌟 Wiki of OI / ICPC for everyone. （某大型游戏线上攻略，内含炫酷算术魔法）
UpdatedAug 11, 2020 -
《编译实习（实验班）》课程项目
-
IntelliM-BChain Public archive
Forked from easypickings/IntelliM-BChainJavaScript UpdatedJun 3, 2020 -
-
-
-
-
ChemicalEquationTool Public
用于LaTeX的简单化学方程式输入工具
-
-
-
-