The CP-SAT Primer: Using and Understanding Google OR-Tools' CP-SAT Solver

A curated list of awesome OR-Tools community resources.

Unlock bootloader of Huawei devices on Kirin 960/95x/65x/620

An experimental, FP&ECS-inspired MC:BE Server Software

Cyber Security ALL-IN-ONE Platform

Yet Another Toolkit for Analysis of ARX Cryptographic Algorithms

Python library for vectorial Boolean functions in cryptography

Solve puzzles. Learn CUDA.

Examples of how to create colorful, annotated equations in Latex using Tikz.

Experimental implementation of FF1 and FF3 algorithms utilizing ASNI and 128-bit arithmetic as published in https://eprint.iacr.org/2021/1171.pdf

CryptoBib BibTex files

LaTeX class for the IACR Transactions on Symmetric Cryptology

Continued fraction library

Syntax highlighted side-by-side diffs in your terminal

[已停止服务] 给微信公众号生成 RSS 订阅源

Map your keys for web surfing, expand your browser with javascript and keyboard.

🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.

安卓应用层抓包通杀脚本

Display and control your Android device

A party game for nerdy cryptographers. Shamelessly based on Cards Against Humanity.

一本数论、代数与算法的入门讲义.

A repository that aims to provide tools for cryptography and cryptanalysis

[ARCHIVED] The C++ Standard Library for your entire system. See https://github.com/NVIDIA/cccl

An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.

Python module for viewing Portable Executable (PE) files in a tree-view using pefile and PyQt5. Can also be used with IDA Pro and Rekall to dump in-memory PE files and reconstruct imports.

Interface with your computer through music 🎶

The single instruction C compiler