xhenryzhang Goto Github PK

afl

american fuzzy lop (copy of the source code for easy access)

algorithm

benchmark

A microbenchmark support library

benchmarks

Benchmarks for the perf dashboard

carpool_scheduler

A scheduler for large carpool events, encodes user specifications from a text file as a formula for Z3.

cjson

Ultralightweight JSON parser in ANSI C

classification-eval

Program that evaluates the results from a scikit-learn classification using a cap curve

coreutils

Enhancements to the GNU coreutils (especiall head)

cs130-lab03

This is my repo for lab 03, Binary Search Tree and AVL Tree

cs162

Programming languages

cs174a-public-21fall

cs177-demo

cs292c

cs293_fuzzing_proj

Repository for course project, CS293c.

earthquakes-search

This is my repo for a spring-boot web application that gathers information from the USGS earthquakes database.

egglog

egraphs + datalog, forked to modify for Master's project

examples-go

Sample uses of cockroachDB.

flat_design_service

html+css using flat design for a fictional food delivery service (following udemy course)

fuzzer-test-suite

Set of tests for fuzzing engines

fuzzgoat

A vulnerable C program for testing fuzzers.

gorpc

Simple, fast and scalable golang rpc library for high load

hello_app_ruby

Learning Ruby on Rails

introduction-to-fuzzing-with-afl

This repository contains the resource file and instructions for the session on AFL.

leakyraft

Personal implementation of RAFT, the simple distributed consensus algorithm

libfuse

The reference implementation of the Linux FUSE (Filesystem in Userspace) interface

linux-insides

A little bit about a linux kernel

loop_rerolling_egg

Repository for research on hardware decompilation (loop rerolling) through rewrite rules.

lya_ivr_frontend

Initial fork of retell frontend

makepasswd

Makepasswd generates (pseudo-)random passwords of a desired length

mp2