Pinned Repositories
crane
Transparent Paxos
Autograter
Autograter helps you post Autograder grades to Canvas in batch
cty12
omegabench
A free, open source benchmark solution.
project-asm
This is a simple ASM interpreter that supports a series of commands. Written in Cpp. 这是一个C++写的简单的汇编语言解释器。
tilitili
A Danmaku video site in Java
traffic-analysis
LambdaIFCStar
The Agda mechanization of a gradual security-typed programming language with general mutable references.
gradual-typing-in-agda
Formalizations of Gradually Typed Languages in Agda
plrg
Home of the PL Reading Group
cty12's Repositories
cty12/omegabench
A free, open source benchmark solution.
cty12/Autograter
Autograter helps you post Autograder grades to Canvas in batch
cty12/project-asm
This is a simple ASM interpreter that supports a series of commands. Written in Cpp. 这是一个C++写的简单的汇编语言解释器。
cty12/tilitili
A Danmaku video site in Java
cty12/cty12
cty12/traffic-analysis
cty12/abstract-binding-trees
Abstract binding trees (abstract syntax trees plus binders), as a library in Agda
cty12/afl
Unofficial American Fuzzy Lop repo
cty12/agda-net
agda ffi for tcp networking
cty12/B522-PL-Foundations
Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University
cty12/bokken
cty12/Chromebook-For-Chinese
在**使用chromebook
cty12/concurrency-exploits
A collection of concurrency bugs & exploits
cty12/idrOS
An OS written in Idris (eventually...)
cty12/lrc-html5
使用HTML5 audio元素實現的LRC格式歌詞時間標籤製作工具。
cty12/m-smr
Multi-threaded State Machine Replication
cty12/NAO
Aldebaran NAO
cty12/os_exercises
清华大学OS公开课——课后练习
cty12/pldi2024-ae
Artifact evaluation for PLDI 2024
cty12/racket-mode
GNU Emacs major modes for Racket: Edit and REPL.
cty12/sdbfs
A Very Simple Database File System
cty12/thesis
Bachelor's thesis, Tsinghua University
cty12/ucore_lab
Lab Codes for MOOC OS course in Tsinghua University.
cty12/ucore_plus
ucore+ repository for OS laboratory 2015
cty12/violations_detector
A paired function violation detector in error path for Java
cty12/wonks.github.io
PL Wonks website
cty12/zsh-themes
My fork of oh-my-zsh themes