Yushuo Xiao (@Dev-XYS)
github

Dev-XYS

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    1,152
  • Global Rank 25,781 (Top 1.0 %)
  • Followers 156
  • Following 101
  • Registered over 8 years ago
  • Most used languages
    C++
         33.3 %
    Racket
         22.2 %
    Coq     11.1 %
    C#
         11.1 %
    HTML
         11.1 %
    TeX
         11.1 %
  • Location 🇨🇭 Switzerland
  • Country Total Rank 344
  • Country Ranking
    Coq     6
    Racket
         6
    C++
         36
    TeX
         384
    C#
         697
    HTML
         2,012

Top repositories

1

Algorithms

全面的算法代码仓库
C++
1,135
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