Edward Zhang's repositories
resume
My resume
sqlancer
Automated testing to find logic bugs in database systems
SLOG
SLOG: Serializable, Low-latency, Geo-replicated Transactions
Edwardzcn.github.io
This is my blog repo on github. Another website domain name: www.edwardzcn98yx.com
mysql-server
MySQL Server, the world's most popular open source database, and MySQL Cluster, a real-time, open source transactional database.
milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
remark42
comment engine
HealthPlus
A Management System for a Health Care Facility. The system includes Registration of patients, Making appointments, Storing patient records, Billing in the pharmacy & Pharmacy stock controlling
selenium-bot
A bot can automatically fill the form with python + selenium + pywinauto
hexo-theme-fluid
:ocean: 一款 Material Design 风格的 Hexo 主题 / An elegant Material-Design theme for Hexo
cusdis
lightweight, privacy-friendly alternative to Disqus.
ocaml-exercise
Coding in OCaml. This repo share the answers of code problems writing in OCaml like OCaml 99 vice-versa. Coding exercises of Software Foundations are also included here.
sail
Sail architecture definition language
sail-riscv
Sail RISC-V model
z3-leraning
Learning Z3 Prover
dotspacemacs
My dotspacemacs
mydotfiles
All my dot configuration files.
lustre
A parser and AST for Lustre
haskell_essays
My notes of learning Haskell.
Clevel-Hashing
Lock-free Concurrent Level Hashing for Persistent Memory (ATC 2020)
L-ink_Card
Smart NFC & ink-Display Card
jieba
结巴中文分词
the-way-to-go_ZH_CN
《The Way to Go》中文译本,中文正式名《Go 入门指南》
cz-cli
The commitizen command line utility. #BlackLivesMatter