Discover @AD1024 Open Source projects

Mike He (@AD1024)

AD1024

Stars
163
Global Rank 144,412 (Top 5 %)
Followers 359
Following 120
Registered over 9 years ago
Most used languages

Python
32.0 %

TeX
16.0 %

Rust
16.0 %

Java
12.0 %

Racket
4.0 %

Shell
4.0 %

HTML
4.0 %

LilyPond 4.0 %

OCaml
4.0 %

JavaScript
4.0 %
Location 🇺🇸 United States
Country Total Rank 33,271
Country Ranking

LilyPond 15

Racket
213

OCaml
278

TeX
1,544

Rust
3,017

Java
4,842

HTML
7,808

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)

nanakagura-rainbow-fart

カグラナナ（神乐七奈）Rainbow Fart语音包

ad1024.github.io

dtlc

Dependently typed lambda calculus - A Simple Proof Assistant

egg-taichi

Experiment egg for taichi

JsonParser

A JSON Parser written in Python3

Tiny-Lang

Tiny Language——A toy language built for studying combinators

Music-Scores

Sager

A Demonic Graph Synthesizer

flexmatch

Flexible Matching: Explore and reveal accelerator-supported workloads in Deep Learning Models

ShiYiQuanEvent

Source Code of Android Client of ShiYiQuan

resume

My resume; Latest version available at my blog

papers-fun

A collection of papers with funny names

CatsTail

CatsTail: Packet program synthesis via equality saturation

Calculator

A hand-written calculator(REPL) written in Python3

BNDSOJ

An online judge based on UOJ - Thanks to UOJ

Advanced-PL

simge

Unicall simulation

Wuism-books

SSR-Script

A back up for ssr build-up script

CSE-402-Course-Note

CSE 402: Domain Specific Language, Spring 2019 by Professor Ras Bodik

Subtitler

An automatic subtitler using XfAPI

cdcl-rust

A CDCL SAT Solver written in Rust (WIP)

redart

A (cleaner) re-implementation of DART (SIGCOMM 2022): a real-time RTT monitoring algorithm

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