DonggeLiu

angr

A powerful and user-friendly binary analysis platform!

COMP90045Assignment

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

ZiMuZuCrawler

Automatically update, notify and download latest TV series

mediacloud

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

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.

BuildingMachineLearningSystemsWithPython

Source Code for the book Building Machine Learning Systems with Python

cle

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

jekyll-uno-timeline

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

libcgc

DARPA Cyber Grand Challenge OS syscall library

pitest-ant-example

Simple example of using pitest with ant

py4fi

Python for Finance (O'Reilly)

python-machine-learning-book-2nd-edition

The "Python Machine Learning (2nd edition)" book code repository and info resource

PythonForFinancePractices

Play around with code in the book: Python for Finance

pyvex

Python bindings for Valgrind's VEX IR.

samples

DARPA Cyber Grand Challenge Sample Challenges

SheepCrawler

simuvex

[DEPRECATED] A symbolic execution engine for the VEX IR

striptease

enhanced version of the Mac OS X strip tool (can remove signatures and uuids with no other changes)

sv-benchmarks

Collection of Verification Tasks

synthwave-vscode

Synthwave inspired colour theme for VS Code 🌅🕶

TensorFlow-Book

Accompanying source code for Machine Learning with TensorFlow. Refer to the book for step-by-step explanations.

tracejump

Instrument assembly code with tracing of jump targets