Yushuo Xiao (@Dev-XYS)
github

Dev-XYS

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    1,161
  • Global Rank 26,519 (Top 1.0 %)
  • Followers 157
  • Following 106
  • Registered about 9 years ago
  • Most used languages
    C++
         33.3 %
    Racket
         22.2 %
    TeX
         11.1 %
    Coq     11.1 %
    HTML
         11.1 %
    C#
         11.1 %
  • Location 🇨🇭 Switzerland
  • Country Total Rank 344
  • Country Ranking
    Coq     6
    Racket
         7
    C++
         36
    TeX
         399
    C#
         805
    HTML
         1,733

Top repositories

1

Algorithms

全面的算法代码仓库
C++
1,144
star
2

Lazy-Desugaring

A Lazy Desugaring System for Evaluating Programs with Sugars
Racket
4
star
3

Code

C++
4
star
4

Tester-for-Windows

基于控制台的程序评测系统
C++
3
star
5

CommonLisp-to-DotNet-Compiler

《编译实习（实验班）》课程项目
C#
2
star
6

Boolean-Algebra-in-Coq

(Incomplete) axiomatized Boolean algebra in Coq.
Coq
1
star
7

ChemicalEquationTool

用于LaTeX的简单化学方程式输入工具
TeX
1
star
8

Arch-Lab2

Computer Architectures course project 2 - A DNN accelerator simulator in Racket
Racket
1
star
9

dev-xys.github.io

HTML
1
star