AD1024/redart AD1024/redart

  • Stars
    star
    1
  • Language
    Python
  • License
    MIT License
  • Created over 1 year ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
AD1024/redart
github

AD1024

Reviews

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

Repository Details

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

More Repositories

1

SMS2Email

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

veripy

Python3 auto-active verification library (migrated to an Intel project)
Python
24
star
3

nanakagura-rainbow-fart

カグラナナ（神乐七奈）Rainbow Fart语音包
Python
21
star
4

ad1024.github.io

MyBlog
HTML
12
star
5

dtlc

Dependently typed lambda calculus - A Simple Proof Assistant
OCaml
11
star
6

egg-taichi

Experiment egg for taichi
Rust
11
star
7

JsonParser

A JSON Parser written in Python3
Python
9
star
8

Tiny-Lang

Tiny Language——A toy language built for studying combinators
Python
7
star
9

Music-Scores

Music scores
LilyPond
6
star
10

Sager

A Demonic Graph Synthesizer
Racket
4
star
11

flexmatch

Flexible Matching: Explore and reveal accelerator-supported workloads in Deep Learning Models
Python
4
star
12

ShiYiQuanEvent

Source Code of Android Client of ShiYiQuan
Java
3
star
13

resume

My resume; Latest version available at my blog
TeX
3
star
14

papers-fun

A collection of papers with funny names
TeX
2
star
15

CatsTail

CatsTail: Packet program synthesis via equality saturation
Rust
2
star
16

Calculator

A hand-written calculator(REPL) written in Python3
Python
1
star
17

BNDSOJ

An online judge based on UOJ - Thanks to UOJ
JavaScript
1
star
18

Advanced-PL

TeX
1
star
19

simge

Unicall simulation
Rust
1
star
20

Wuism-books

TeX
1
star
21

SSR-Script

A back up for ssr build-up script
Shell
1
star
22

CSE-402-Course-Note

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

Subtitler

An automatic subtitler using XfAPI
Python
1
star
24

cdcl-rust

A CDCL SAT Solver written in Rust (WIP)
Rust
1
star
25

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
Java
1
star