AD1024/egg-taichi

Stars
11
Rank 1,685,405 (Top 34 %)
Language
Rust
Created almost 2 years ago
Updated over 1 year ago

AD1024/egg-taichi

AD1024

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

Experiment egg for taichi

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

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

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