Skip to content
View lixupeng's full-sized avatar
25 followers · 10 following
  • Columbia University
  • New York

Achievements

Achievement: YOLOAchievement: Pull Shark

Achievements

Achievement: YOLOAchievement: Pull Shark

Highlights

  • Pro

Block or report lixupeng

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • delta Public

    Forked from delta-io/delta

    An open-source storage framework that enables building a Lakehouse architecture with compute engines including Spark, PrestoDB, Flink, Trino, and Hive and APIs

    HTML Apache License 2.0 Updated Feb 22, 2024

  • Adv360-Pro-ZMK Public

    Forked from KinesisCorporation/Adv360-Pro-ZMK

    Production repository for the all-new Advantage360 Professional using ZMK engine

    Makefile MIT License Updated Jul 5, 2023

  • sosp-paper211-ae-proof Public

    Forked from VeriGu/sosp-paper211-ae-proof

    Mirror of sosp-paper211-ae-proof

    Coq 1 GNU General Public License v2.0 Updated Jan 26, 2023

  • pdfs Public

    Forked from tpn/pdfs

    Technically-oriented PDF Collection (Papers, Specs, Decks, Manuals, etc)

    HTML Updated Sep 23, 2021

  • Cpdt Public

    Coq Other Updated Jan 18, 2021

  • draco Public

    Forked from uwdata/draco

    Visualization Constraints and Weight Learning

    TypeScript BSD 3-Clause "New" or "Revised" License Updated Sep 20, 2019

  • llvm_proof Public

    Python Updated Jun 16, 2018

  • LearnSFs Public

    Coq Updated Mar 14, 2018

  • TMPaper Public

    TeX Updated Mar 1, 2018

  • OpenMS Public

    Forked from OpenMS/OpenMS

    The codebase of the OpenMS project

    C Other Updated Dec 28, 2017

  • contrib Public

    Forked from OpenMS/contrib

    Automated CMake build scripts for the OpenMS contrib libraries

    CMake Other Updated Dec 17, 2017

  • liblda Public

    C Updated Nov 20, 2017

  • peloton Public

    Forked from cmu-db/peloton

    The Self-Driving Database Management System

    C Apache License 2.0 Updated Oct 11, 2017

  • Books_Reading Public

    Forked from lijasonvip/Books_Reading

    Java技术栈书籍

    Updated Sep 6, 2017

  • peloton-test Public

    Forked from cmu-db/peloton-test

    SQL Testing Framework for the Peloton DBMS

    Java Apache License 2.0 Updated Jul 12, 2017

  • LDA_cpp Public

    C Updated Jul 2, 2017

  • mlog_experiments Public

    the Tensorflow codes used in MLog demo paper

    Python Updated Jan 14, 2017