Hi there!!
cty12 Goto Github PK
Name: Tianyu Chen
Type: User
Company: Indiana University
Bio: PhD student
Location: Bloomington
Name: Tianyu Chen
Type: User
Company: Indiana University
Bio: PhD student
Location: Bloomington
Hi there!!
Abstract binding trees (abstract syntax trees plus binders), as a library in Agda
Unofficial American Fuzzy Lop repo
agda ffi for tcp networking
Autograter helps you post Autograder grades to Canvas in batch
Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University
在**使用chromebook
A collection of concurrency bugs & exploits
An OS written in Idris (eventually...)
使用HTML5 audio元素實現的LRC格式歌詞時間標籤製作工具。
Multi-threaded State Machine Replication
Aldebaran NAO
A free, open source benchmark solution.
清华大学OS公开课——课后练习
Artifact evaluation for PLDI 2024
This is a simple ASM interpreter that supports a series of commands. Written in Cpp. 这是一个C++写的简单的汇编语言解释器。
GNU Emacs major modes for Racket: Edit and REPL.
A Very Simple Database File System
Bachelor's thesis, Tsinghua University
A Danmaku video site in Java
Lab Codes for MOOC OS course in Tsinghua University.
ucore+ repository for OS laboratory 2015
A paired function violation detector in error path for Java
PL Wonks website
My fork of oh-my-zsh themes
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.