Tianyu Chen
cty12
Postdoc at Indiana University
Languages
Repos
35
Stars
13
Forks
1
Top Language
Agda
Loading contributions...
Top Repositories
Autograter helps you post Autograder grades to Canvas in batch
This is a simple ASM interpreter that supports a series of commands. Written in Cpp. 这是一个C++写的简单的汇编语言解释器。
A free, open source benchmark solution.
A Danmaku video site in Java
Repositories
35No description provided.
Course web page for B629 Mechanized Proofs for PL Metatheory
Abstract binding trees (abstract syntax trees plus binders), as a library in Agda
Research artifacts of MetaGTLC (TyDe 2025)
Tianyu's PhD dissertation
Autograter helps you post Autograder grades to Canvas in batch
No description provided.
Course Web Page for C343 Spring 2025
A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
Emacs major mode for Deduce
This is a simple ASM interpreter that supports a series of commands. Written in Cpp. 这是一个C++写的简单的汇编语言解释器。
No description provided.
Artifact evaluation for PLDI 2024
PL Wonks website
agda ffi for tcp networking
My fork of oh-my-zsh themes
No description provided.
Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University
Unofficial American Fuzzy Lop repo
A Danmaku video site in Java
An OS written in Idris (eventually...)
GNU Emacs major modes for Racket: Edit and REPL.
A collection of concurrency bugs & exploits
Bachelor's thesis, Tsinghua University
A free, open source benchmark solution.
No description provided.
在中国使用chromebook
ucore+ repository for OS laboratory 2015
Multi-threaded State Machine Replication
Aldebaran NAO