Edward Zhang's repositories
Edwardzcn.github.io
This is my blog repo on github. Another website domain name: www.edwardzcn98yx.com
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.
z3-leraning
Learning Z3 Prover
Clevel-Hashing
Lock-free Concurrent Level Hashing for Persistent Memory (ATC 2020)
cusdis
lightweight, privacy-friendly alternative to Disqus.
cz-cli
The commitizen command line utility. #BlackLivesMatter
dotspacemacs
My dotspacemacs
haskell_essays
My notes of learning Haskell.
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
hexo-theme-fluid
:ocean: 一款 Material Design 风格的 Hexo 主题 / An elegant Material-Design theme for Hexo
jieba
结巴中文分词
L-ink_Card
Smart NFC & ink-Display Card
lustre
A parser and AST for Lustre
milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
mydotfiles
All my dot configuration files.
mysql-server
MySQL Server, the world's most popular open source database, and MySQL Cluster, a real-time, open source transactional database.
remark42
comment engine
sail
Sail architecture definition language
sail-riscv
Sail RISC-V model
selenium-bot
A bot can automatically fill the form with python + selenium + pywinauto
SLOG
SLOG: Serializable, Low-latency, Geo-replicated Transactions
sqlancer
Automated testing to find logic bugs in database systems
the-way-to-go_ZH_CN
《The Way to Go》中文译本,中文正式名《Go 入门指南》