Stars
A feature-rich command-line audio/video downloader
A country filter of GCJ 2018 scoreboard
The problem data (Test case generator, judge's solution, task, ...) of Library Checker
A Slack Export archive viewer that allows you to easily view and share your Slack team's export
Save or export your private and public Slack messages, threads, files, and users locally without admin privileges.
🎮 Fully featured terminal version of the game "2048" written in C++
Linux kernel module implementation & exploitation (pwn) labs.
A BepInEx mod for Among Us that adds 4 new roles into the game. This mod can be played on Innersloth servers.
National Taiwan University Master's Thesis Template (Latex + Word)
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
Files and tools for SMT-COMP, the International Satisfiability Modulo Theories Competition.
Pikachu Volleyball reimplemented in JavaScript by reverse engineering the original game
Code AI platform with Code Search & Cody
Beancount: Double-Entry Accounting from Text Files.
Tools to set up a quick macOS VM in QEMU, accelerated by KVM.
The port forwarding tool developed by Golang solves the problem that the internal and external networks cannot communicate in certain scenarios
An ArchLinux based distribution for penetration testers and security researchers.
An open-source Ad Blocker for Facebook™