AD1024

Ph.D. student @PrincetonUniversity; Working on formal methods for distributed systems

@PrincetonUniversityPrinceton, NJ

Pinned Repositories

ad1024.github.io
MyBlog
Language:HTML11 3 00
dtlc
Dependently typed lambda calculus - A Simple Proof Assistant
Language:OCaml12 2 00
egg-taichi
Experiment egg for taichi
Language:Rust11 1 00
nanakagura-rainbow-fart
カグラナナ（神乐七奈）Rainbow Fart语音包
Language:Python22 2 03
P-Tutorial-Raft
A Raft model (without reconfiguration) implemented in P
Language:OpenEdge ABL1 2 01
SMS2Email
A solution for receiving verification code sending to your phone while you are away from home. (no longer being maintained)
Language:Java30 2 08
veripy
Python3 auto-active verification library (migrated to an Intel project)
Language:Python25 1 00
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/
Language:Rust70 4 11710
P
The P programming language.
Language:C#3.5k 106 271205
taichi
Productive, portable, and performant GPU programming in Python.
Language:C++27.7k 383 2.7k2.4k

AD1024's Repositories

AD1024/veripy
Python3 auto-active verification library (migrated to an Intel project)
Language:Python25 1 00
AD1024/ad1024.github.io
MyBlog
Language:HTML11 3 00
AD1024/egg-taichi
Experiment egg for taichi
Language:Rust11 1 00
AD1024/Music-Scores
Music scores
Language:LilyPond7 2 0
AD1024/flexmatch
Flexible Matching: Explore and reveal accelerator-supported workloads in Deep Learning Models
Language:Python4 2 02
AD1024/papers-fun
A collection of papers with funny names
Language:TeX31
AD1024/resume
My resume; Latest version available at my blog
Language:TeX3 1 00
AD1024/CatsTail
CatsTail: Packet program synthesis via equality saturation
Language:Rust2 1 00
AD1024/egg
egg is a flexible, high-performance e-graph library
Language:Rust1 0 0
AD1024/extraction-gym
benchmarking e-graph extraction
Language:Rust1 0 0
AD1024/P-Tutorial-Raft
A Raft model (without reconfiguration) implemented in P
Language:OpenEdge ABL1 2 01
AD1024/redart
A (cleaner) re-implementation of DART (SIGCOMM 2022): a real-time RTT monitoring algorithm
Language:Python1 1 00
AD1024/tensat
Re-implementation of the TASO compiler using equality saturation
Language:Rust1 0 0
AD1024/3FS
A high-performance distributed file system designed to address the challenges of AI training and inference workloads.
AD1024/babble
library learning w egraphs
Language:Rust0 0
AD1024/Blog
A blog built by using Koa2+Sequelize+EJS+Semantic UI
Language:JavaScript0 0
AD1024/CoNR
Official implement of CoNR: Collaborative Neural Rendering using Anime Character Sheets
Language:Jupyter Notebook0 0
AD1024/cslib
A Lean library for Computer Science
Language:Lean
AD1024/EasyVtuber
tha2, but run 30fps on 3080 with virtural webcam support
Language:Python0 0
AD1024/github-stats
Language:Python1 0
AD1024/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/
Language:Rust0 0
AD1024/Miscellaneous-Artifacts
Various code & programs & proofs I wrote while learning
Language:Haskell1 0
AD1024/mul2-maximum
Language:Dafny1 0
AD1024/P
The P programming language.
Language:C#0 0
AD1024/sdk-python
A model-driven approach to building AI agents in just a few lines of code.
Language:Python
AD1024/taichi
Productive & portable high-performance programming in Python.
Language:C++
AD1024/tau2-bench
τ²-Bench: Evaluating Conversational Agents in a Dual-Control Environment
AD1024/uwsampl.github.io
The UW SAMPL group's website.
Language:HTML0 0
AD1024/waka-box
📊 Update a pinned gist to contain your weekly WakaTime stats
Language:JavaScript0 0
AD1024/warp
Language:Rust0 0