The broad learning universal education system

Main repository of SageMath

A curated list of resources dedicated to reinforcement learning applied to cyber security.

An open-source AI agent that brings the power of Gemini directly into your terminal.

The FLARE team's open-source tool to identify capabilities in executable files.

Coppersmith's method for multivariate polynomials

Tactics for discharging Lean goals into SMT solvers.

Python implementations of cryptographic attacks and utilities.

IDA Processor Module for the Ethereum Virtual Machine (EVM)

RSA attack tool (mainly for ctf) - retrieve private key from weak public key and/or uncipher data

Some setup scripts for security research tools.

This is the homepage of a new book entitled "Mathematical Foundations of Reinforcement Learning."

Windows inside a Docker container.

A gdb extension that finds pointers and leak chains for you

Host for my configuration files

YouTube download client with focus on simplicity

Little Data Mining Project

PushNotifier SDK for Python