AD1024
Ph.D. student @PrincetonUniversity; Working on formal methods for distributed systems
@PrincetonUniversityPrinceton, NJ
Pinned Repositories
ad1024.github.io
MyBlog
dtlc
Dependently typed lambda calculus - A Simple Proof Assistant
egg-taichi
Experiment egg for taichi
nanakagura-rainbow-fart
カグラナナ（神乐七奈）Rainbow Fart语音包
P-Tutorial-Raft
A Raft model (without reconfiguration) implemented in P
SMS2Email
A solution for receiving verification code sending to your phone while you are away from home. (no longer being maintained)
veripy
Python3 auto-active verification library (migrated to an Intel project)
glenside
A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://gussmith23.github.io/glenside-web-demo/
P
The P programming language.
taichi
Productive, portable, and performant GPU programming in Python.
AD1024's Repositories
AD1024/ShiYiQuanEvent
Source Code of Android Client of ShiYiQuan
AD1024/BiliInformation
A Information Listener Client Of Bilibili.Implemented By using bilibili's api server and adapt json data objects in the Application.IMPORTANT:This is an Android Studio Project
AD1024/PersistentSearch
A clone of the Google Now/Maps/Play persistent search bar
AD1024/android_device_pisces
Device For Blisspop
AD1024/android_device_xiaomi_mocha
CM11 device tree for Xiaomi Mocha
AD1024/android_vendor_xiaomi_pisces
AD1024/AndroidTool
Backup Of A Tool
AD1024/bilibili_danmu
B 站直播弹幕姬 Python 版
AD1024/GoBang-Unity
A GoBang Game developed by using Unity Engine
AD1024/MetallizedKernelRebased
Metallized Kernel for OnePlus One
AD1024/Semi-Auto-Apktool
APKTOOL(Terminal Interface) For Linux
AD1024/SqlQueryBuilder
A SQL query builder written in Python3
AD1024/ss-bash
Shadowsocks流量管理脚本
AD1024/uoj
Universal Online Judge