ad1024 Goto Github PK

miscellaneous-artifacts

Various code & programs & proofs I wrote while learning

music-scores

Music scores

nanakagura-button

nanakagura-rainbow-fart

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

persistentsearch

A clone of the Google Now/Maps/Play persistent search bar

plfa-study

Programming Language Foundations in Agda

plfa.github.io

Introduction to programming language theory in Agda

redart

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

relax

Temp repo for prototyping relax(relay next), the effort will be upstreamed. We use the wiki pages on this repo to host design docs.

relay-aot

An experimental ahead of time compiler for Relay.

relay-bench

A repository containing examples and benchmarks for Relay.

resume

My resume; Latest version available at my blog

sager

A Demonic Graph Synthesizer

semi-auto-apktool

APKTOOL(Terminal Interface) For Linux

shadowsocks-rss

ShadowsocksR update rss, SSR organization https://github.com/shadowsocksr

shiyiquanevent

Source Code of Android Client of ShiYiQuan

simge

Unicall simulation

sms2email

A solution for receiving verification code sending to your phone while you are away from home. (no longer being maintained)

sqlquerybuilder

A SQL query builder written in Python3

ss-bash

Shadowsocks流量管理脚本

ssr-script

A back up for ssr build-up script

statkit

A Library for Statistics

subtitler

An automatic subtitler using XfAPI

support.996.icu

Microsoft and GitHub Workers Support 996.ICU

taichi

Productive & portable high-performance programming in Python.

tensat

Re-implementation of the TASO compiler using equality saturation

tiny-lang

Tiny Language——A toy language built for studying combinators

torch-checkpointing

Compile a torch model to a checkpointed model

tvm

Open deep learning compiler stack for cpu, gpu and specialized accelerators

tvm-build

A library for building TVM programmatically.