DonggeLiu

Legion

A coverage-based software testing tool

AFLNet_Legion

AFLNet with MCTS

claripy

An abstraction layer for constraint solvers.

github-scarecrow

A sample project for OSS-FUZZ to test its functionalities (e.g. filing/closing issues).

LeetBox

A LootBox of the fastest and succinctest attempts on LeetCode

ProFuzzBench

SWEN90010A2Marking

Automate Alloy marking

Charybdis

aflnet

AFLNet: A Greybox Fuzzer for Network Protocols (https://thuanpv.github.io/publications/AFLNet_ICST20.pdf)

Alan32Liu.github.io

ast_examples

Some examples to play with ast generation.

benchexec

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

CanvasQuizMarker

Two scripts to parse students' quiz scores and write to their grades

carcassonne

Carcassonne implementation in python

centipede

diff-gcov

dracula.nvim

Dracula colorscheme for neovim written in Lua

jekyll-theme-chirpy

A minimal, sidebar, responsive web design Jekyll theme, focusing on text presentation.

llvm-llvm-project

A private fork of the `llvm-project` from `llvm`

material.nvim

:trident: Material colorscheme for NeoVim written in Lua with built-in support for native LSP, TreeSitter and many more plugins

neogit

magit for neovim

PatchWizardsPython

A repo to demonstrate PatchWizard on Python dependecies.

ptrace_experiments

Experimenting shell injection with `ptrace`.

sbft23.github.io

Testing

Testing various things on GitHub

tmux-dracula

🧛🏻‍♂️ Dark theme for tmux

VoiceConverterInDocker

Automate voice conversion with Docker

yapf

A formatter for Python files

ygot

A YANG-centric Go toolkit - Go/Protobuf Code Generation; Validation; Marshaling/Unmarshaling

you-get

:arrow_double_down: Dumb downloader that scrapes the web