This is the repo for the LegalBench-RAG Paper: https://arxiv.org/abs/2408.10343.

Get your Advent of Code data with a single import statement

Ghidra is a software reverse engineering (SRE) framework

Rust bindings for the Z3 solver.

MAIAN: automatic tool for finding trace vulnerabilities in Ethereum smart contracts

A chrome extension to provide a slightly easier debugging UI for WASM modules

The best tool for finding one gadget RCE in libc.so.6

a fast, scalable, multi-language and extensible build system

A tiling window manager for X11

A web client for WeeChat

Source code for Canadian Geese Token (CGT)

Binary Analysis Framework in Rust

Documentation for the angr suite

cLEMENCy is the LEgitbs Middle ENdian Computer architecture developed by Lightning for DEF CON CTF 2017

The x86 processor fuzzer

Don't Skype & Type! Keyboard acoustic eavesdropping tool.

Project moved to: https://github.com/llvm/llvm-project

A collection of scripts that help handling X.509 certificate and TLS issues

The Python programming language

Empowering everyone to build reliable and efficient software.

Distributed reliable key-value store for the most critical data of a distributed system

Production-Grade Container Scheduling and Management

An abstraction layer for constraint solvers.

A beautiful cross platform Desktop Player for Google Play Music

A repository for learning various heap exploitation techniques.

An unofficial client library for Google Music.

Machine Learning From Scratch. Bare bones NumPy implementations of machine learning models and algorithms with a focus on accessibility. Aims to cover everything from linear regression to deep lear…

Theano was a Python library that allows you to define, optimize, and evaluate mathematical expressions involving multi-dimensional arrays efficiently. It is being continued as PyTensor: www.github.…

Deep Learning for humans