Lists (1)
Stars
The CP-SAT Primer: Using and Understanding Google OR-Tools' CP-SAT Solver
A curated list of awesome OR-Tools community resources.
Unlock the bootloader on Huawei devices with Kirin 620/65x/95x/960
An experimental, FP&ECS-inspired MC:BE Server Software
Yet Another Toolkit for Analysis of ARX Cryptographic Algorithms
Python library for vectorial Boolean functions in cryptography
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
LaTeX class for the IACR Transactions on Symmetric Cryptology
Syntax highlighted side-by-side diffs in your terminal
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.
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 🎶