AD1024/resume

Stars
3
Rank 3,963,521 (Top 79 %)
Language
TeX
Created about 5 years ago
Updated 10 months ago

AD1024/resume

AD1024

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

My resume; Latest version available at my blog

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

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