donggeliu Goto Github PK

aflnet

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

aflnet_legion

AFLNet with MCTS

alan32liu.github.io

angr

A powerful and user-friendly binary analysis platform!

angr-doc

Documentation for the angr suite

angr-z3

The Z3 Theorem Prover - repository for staging python distributions

archinfo

Classes with architecture-specific information useful to other projects.

ast_examples

Some examples to play with ast generation.

benchexec

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

buildingmachinelearningsystemswithpython

Source Code for the book Building Machine Learning Systems with Python

canvasquizmarker

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

carcassonne

Carcassonne implementation in python

centipede

charybdis

claripy

An abstraction layer for constraint solvers.

cle

CLE Loads Everything (at least, many binary formats!)

comp90045assignment

A compiler for a toy language 'Goat', written in Haskell

diff-gcov

dracula.nvim

Dracula colorscheme for neovim written in Lua

github-scarecrow

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

jekyll-theme-chirpy

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

jekyll-uno-timeline

A Jekyll Theme, based on the Uno-Theme with some adjustments.

leetbox

A LootBox of the fastest and succinctest attempts on LeetCode

legion

A coverage-based software testing tool

libcgc

DARPA Cyber Grand Challenge OS syscall library

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

mediacloud

Media Cloud is an open source, open data platform that allows researchers to answer quantitative questions about the content of online media.

neogit

magit for neovim

patchwizardspython

A repo to demonstrate PatchWizard on Python dependecies.