Edwardzcn
Follow
-
-
sqlancer Public
Forked from sqlancer/sqlancerAutomated testing to find logic bugs in database systems
Java MIT License UpdatedAug 10, 2023 -
SLOG Public
Forked from umd-dslam/SLOGSLOG: Serializable, Low-latency, Geo-replicated Transactions
C++ MIT License UpdatedApr 26, 2023 -
-
Edwardzcn.github.io Public
This is my blog repo on github. Another website domain name: www.edwardzcn98yx.com
-
mysql-server Public
Forked from mysql/mysql-serverMySQL Server, the world's most popular open source database, and MySQL Cluster, a real-time, open source transactional database.
C++ Other UpdatedJul 28, 2022 -
-
milewski-ctfp-pdf Public
Forked from hmemcpy/milewski-ctfp-pdfBartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
TeX Other UpdatedMay 17, 2022 -
-
HealthPlus Public
Forked from heshanera/HealthPlusA 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
Java Apache License 2.0 UpdatedJun 12, 2021 -
selenium-bot Public
A bot can automatically fill the form with python + selenium + pywinauto
Python MIT License UpdatedMay 18, 2021 -
hexo-theme-fluid Public
Forked from fluid-dev/hexo-theme-fluid🌊 一款 Material Design 风格的 Hexo 主题 / An elegant Material-Design theme for Hexo
JavaScript MIT License UpdatedMay 14, 2021 -
cusdis Public
Forked from djyde/cusdislightweight, privacy-friendly alternative to Disqus.
TypeScript GNU General Public License v3.0 UpdatedMay 11, 2021 -
-
-
ocaml-exercise Public
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.
Coq UpdatedJan 12, 2021 -
sail Public
Forked from rems-project/sailSail architecture definition language
Standard ML Other UpdatedJan 6, 2021 -
-
-
-
software-foundation-exercise Public
Forked from kailiangji/software-foundation-exerciseCoq UpdatedOct 16, 2020 -
mydotfiles Public
Forked from TimothyYe/mydotfilesAll my dot configuration files.
Vim Script MIT License UpdatedSep 1, 2020 -
-
lustre Public
Forked from GaloisInc/lustreA parser and AST for Lustre
Haskell ISC License UpdatedAug 12, 2020 -
haskell_essays Public
Forked from yjwen/haskell_essaysMy notes of learning Haskell.
C++ UpdatedJul 19, 2020 -
Clevel-Hashing Public
Forked from chenzhangyu/Clevel-HashingLock-free Concurrent Level Hashing for Persistent Memory (ATC 2020)
C++ Other UpdatedJul 16, 2020 -
L-ink_Card Public
Forked from peng-zhihui/L-ink_CardSmart NFC & ink-Display Card
C GNU General Public License v3.0 UpdatedJun 22, 2020 -
-
the-way-to-go_ZH_CN Public
Forked from unknwon/the-way-to-go_ZH_CN《The Way to Go》中文译本，中文正式名《Go 入门指南》
Go UpdatedJun 18, 2020 -
cz-cli Public
Forked from commitizen/cz-cliThe commitizen command line utility. #BlackLivesMatter
JavaScript MIT License UpdatedJun 15, 2020