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

Popular repositories Loading

  1. sosp-paper211-ae-proof sosp-paper211-ae-proof Public

    Forked from VeriGu/sosp-paper211-ae-proof

    Mirror of sosp-paper211-ae-proof

    Coq 1

  2. mlog_experiments mlog_experiments Public

    the Tensorflow codes used in MLog demo paper

    Python

  3. LDA_cpp LDA_cpp Public

    C++

  4. peloton peloton Public

    Forked from cmu-db/peloton

    The Self-Driving Database Management System

    C++

  5. peloton-test peloton-test Public

    Forked from cmu-db/peloton-test

    SQL Testing Framework for the Peloton DBMS

    Java

  6. liblda liblda Public

    C++