Pinned Repositories
AlloyMax
AlloyMax is an extension of Alloy with a capability to express and analyze problems with optimal solutions. It introduces (1) a small addition of language constructs that can be used to specify a wide range of problems that involve optimality and (2) a new analysis engine that leverages a MaxSAT solver to generate optimal solutions.
ATLAS
ATLAS: A constrained LTL learner based on AlloyMax
fortis-core
Fortis, a tool for systematically compute robustness and robustify a system design based on LTS.
STL-Robustness
fprime-visual
Coursera-PL
The repository of my code of the course, Coursera Programming Language
JHinge
A toy interpreted language base on Java. The grammar is a subset of Python.
leiobunum
A scrapy like web spider written in Node.js
NyuBios
My own OS followed the book 《ORANGE'S 一个操作系统的是实现》
tidb
TiDB is a distributed NewSQL database compatible with MySQL protocol
SteveZhangBit's Repositories
SteveZhangBit/leiobunum
A scrapy like web spider written in Node.js
SteveZhangBit/Coursera-PL
The repository of my code of the course, Coursera Programming Language
SteveZhangBit/NyuBios
My own OS followed the book 《ORANGE'S 一个操作系统的是实现》
SteveZhangBit/JHinge
A toy interpreted language base on Java. The grammar is a subset of Python.
SteveZhangBit/leiogo
SteveZhangBit/redigo
SteveZhangBit/SteveZhangBit.github.io
SteveZhangBit/LTS-Robustness
DEPRECATED. See: cmu-soda/fortis-core. Fortis: a robustness analysis and automatic robustfication tool for labelled transition systems (LTS).
SteveZhangBit/tidb
TiDB is a distributed NewSQL database compatible with MySQL protocol
SteveZhangBit/cmu-soda.github.io
Soda lab website
SteveZhangBit/Deprecated-LTS-Robustness
DEPRECATED: checkout our new implementation, Fortis. The Robustness Calculator implementation for FSE 20 paper.
SteveZhangBit/ExtTLA
The compiler for ExtTLA
SteveZhangBit/f22-rec02
SteveZhangBit/f22-rec03
SteveZhangBit/fall22-rec11
SteveZhangBit/fse20
artifacts track, fse20
SteveZhangBit/leiogo-css
SteveZhangBit/Robustification
Robustify a system by using supervisory control and multi-objective search
SteveZhangBit/TLASpecs
SteveZhangBit/vim-config