Xupeng Li's repositories
Adv360-Pro-ZMK
Production repository for the all-new Advantage360 Professional using ZMK engine
Language:MakefileMIT000
Books_Reading
Java技术栈书籍
000
contrib
Automated CMake build scripts for the OpenMS contrib libraries
Language:CMakeNOASSERTION000
Language:CoqNOASSERTION000
delta
An open-source storage framework that enables building a Lakehouse architecture with compute engines including Spark, PrestoDB, Flink, Trino, and Hive and APIs
Language:HTMLApache-2.0000
draco
Visualization Constraints and Weight Learning
Language:TypeScriptBSD-3-Clause000
Language:C++000
Language:Coq000
Language:C++000
Language:Python000
mlog_experiments
the Tensorflow codes used in MLog demo paper
Language:Python000
OpenMS
The codebase of the OpenMS project
Language:C++NOASSERTION000
pdfs
Technically-oriented PDF Collection (Papers, Specs, Decks, Manuals, etc)
000
peloton
The Self-Driving Database Management System
Language:C++Apache-2.0000
peloton-test
SQL Testing Framework for the Peloton DBMS
Language:JavaApache-2.0000
sosp-paper211-ae-proof
Mirror of sosp-paper211-ae-proof
GPL-2.0000
Language:TeX000