cychen2021 Goto Github PK

alexandria

A minimalistic cross-platform eBook reader built with Tauri, Epub.js, and Typescript

cheatsheets

My cheatsheets for navi

chulichuli

The course project for Software Architecture.

chup

My incremental backup tool with cloud support and end-to-end encryption

classpy

GUI tool for investigating Java class files

crown

Ownership analysis that helps translating C to Rust

cychen2021.github.io

grammarinator

ANTLR v4 grammar-based test generator

hugo-theme-anubis

Anubis is a simple minimalist theme for Hugo blog engine

issre22

Repository to store and share the experimental data of my ISSRE'22 paper

java-benchmarks

kleer

KLEE Symbolic Execution Engine

memo

mg

pdf-reader

PDF reader for Zotero 6

pdf-worker

pdf.js

PDF Reader in JavaScript

pl-assignment-01

The 1st assignment of the PL siminar held by Institute of Computer Software at Nanjing University

pl-assignment-02

The 2nd assignment of the PL siminar held by Institute of Computer Software at Nanjing University

reflectivetai-e

My implementation of Java reflection analysis on Tai-e

smt2

SMT-LIB 2 parsing library for Rust

stumanage

The 1st course project of "Program Architecture" in the spring of 2021 at Nanjing University

tencent-sandbox

Windows sandbox 腾讯全家桶沙盒配置

zotero

Zotero is a free, easy-to-use tool to help you collect, organize, cite, and share your research sources.

zsh-easy-motion

Vim's easy-motion for zsh