AeroSpace is an i3-like tiling window manager for macOS

Use LLMs to rank anything

🔬 Java Code Coverage Library

Exploit for a soundness bug exploit in the zkSync Era ZK-circuits

🌟 Ethereum Consensus client for the Zig and TypeScript ecosystem

Fast lattice reduction

Circuit Implementation of zkVM for zkSync Era

You like pytorch? You like micrograd? You love tinygrad! ❤️

Scroll zkEVM Playground

Relic Protocol smart contracts

Secure randomness for Ethereum's execution layer via SNARKs and RANDAO.

Relic Protocol ZK circuits

A Collection of Chrome Sandbox Escape POCs/Exploits for learning

An awesome list for Effective and Powerful harnesses for fuzzing using libfuzzer - fuzzers by Google

Some setup scripts for security research tools.

OSS-Fuzz - continuous fuzzing for open source software.

commandline chromecast player

Decision Problems in Invertible Automata

3DS Kernel Exploit <= 11.2

The official NGINX Open Source repository.

A foreign function interface for bash.

A tool to analyze multi-byte xor cipher

The Z3 Theorem Prover

Binary Analysis Platform

CTF framework and exploit development library

This repository used to be the user-facing mirror of the Sage source tree. As Sage development migrated on 2023-02-01 from https://trac.sagemath.org/ to our new repository on GitHub, https://github…