monolearn

Last released Jul 3, 2024

Learning monotone Boolean functions

optimodel

Last released Jul 3, 2024

Tools for generating ~shortest MILP and SAT models

optisolveapi

Last released Jul 3, 2024

Optimization & Solving common API (SAT, MILP, etc.)

divprop

Last released Jul 2, 2024

Division property cryptanalysis tools

subsets

Last released Jul 2, 2024

Tools for cryptanalysis (subsets & transforms)

binteger

Last released Oct 26, 2023

Binary integer representation toolkit

wboxkit

Last released Sep 24, 2022

White-box Design & Cryptanalyis Kit

xortool

Last released Jul 16, 2022

A tool to analyze multi-byte xor cipher

cry

Last released Jun 11, 2022

Cry: SageMath/Python Toolkit for Cryptanalytic Research

hackycpp

Last released Feb 22, 2022

HackyCPP (loop macros and etc. for surviving C++)

justlogs

Last released Sep 24, 2021

Wrapper over coloredlogs with a particular default config

sock

Last released Dec 27, 2020

Small script to simplify network communication

libnum

Last released Sep 30, 2020

Working with numbers (primes, modular, etc.)

libformatstr

Last released Feb 4, 2015

Create payloads for format string exploits