David Zhao's repositories
souffle
Soufflé is a translator of declarative Datalog programs into the C++ language. Soufflé is used as a domain-specific language for static program analysis, over large code bases with millions of lines of code. Soufflé aims at producing high-performance C++ code that can be compiled with the native compiler on the target machine.
coding-practice
Some coding practice from various places
davidwzhao.github.io
A website for me
delve-sql-queries
Some Delve implementations of medium-hard SQL interview-stype questions
dynamic-datalog
Engines, queries, and data for dynamic Datalog computation
lambdul
Lambda calculus interpreter written in Java
polybar_autohide
c++ script to autohide polybar
qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
simple-start
Simple home page for web browsers.
souffle-lang.github.io
Soufflé
st
A clone of https://aur.archlinux.org/st.git with patches