ZHU Siyuan's repositories
TuringCourses
浙江大学图灵班课程学习指南
floatshadow.github.io
personal website
Language:JavaScriptMIT000
hyperscan
High-performance regular expression matching library
Language:C++NOASSERTION000
learning-llvm
Code examples from books, slides and courses for clang/llvm tool chains
Parallized-Sort
This is the source code for parallel experiment for ZJU programming design courses
playground
Playground
Tai-e-assignments
Tai-e assignments for static program analysis
Language:JavaLGPL-3.0000
mlscript
The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!
Language:ScalaMIT000
probably
Python library for parsing, type-checking, and analyzing probabilistic programs written in the pGCL language.
Apache-2.0000
TuringDoneRight
浙江大学图灵班学长组资料汇总网站
Language:MarkdownNOASSERTION000