thebesttv

blog

blog, of EServer

00.ACM

personal backup

eserver

helm-ag

The silver searcher with helm interface

PonyOCR

A simple & portable OCR tool (work in progress)

bugswarm

elisp-ascii-arts

ASCII arts written in ELisp

emacs-ccls

Emacs client for ccls, a C/C++ language server

eserver-static

EServer, but static

ex-action

Playing with GitHub Actions

functional-geometry

Scheme implementation of functional geometry using guile-cairo.

mal

mal - Make a Lisp

pinyinlib.el

Elisp library for converting first letter of Pinyin to Simplified/Traditional Chinese characters

slide

slide, of eserver

soot

Soot - A Java optimization framework

Static-Bug-Detectors-ASE-Artifact

Static-Bug-Detectors-ASE-Docker

Build a Docker image for the initial environment of the artifacts of paper "On the Real-World Effectiveness of Static Bug Detectors at Finding Null Pointer Exceptions"

thebesttv.github.io

xdot.py

Interactive viewer for graphs written in Graphviz's dot language.

CVEfixes

CVEfixes: Automated Collection of Vulnerabilities and Their Fixes from Open-Source Software

dacapobench

The DaCapo benchmark suite - updated source location for 2006-MR2

keyboards

lpython

Python compiler

qmk_firmware

Open-source keyboard firmware for Atmel AVR and Arm USB families

scmamp

Statistical comparison of multiple algorithms

test-pydriller

vul-arch-package

对 Arch Linux 的 package 信息统计

vul-juliet-c

Juliet C/C++ 数据集，缩减版本，仅关注三种缺陷

vul-llvm

缺陷路径生成工具

vul-parser-benchmark

用于测试结果分析模块