minionsjay's repositories
annotated_latex_equations
Examples of how to create colorful, annotated equations in Latex using Tikz.
autoguess
An easy-to-use, general and open-source tool to search for guess-and-determine attacks and key bridges
bosphorus
Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
chatgpt_academic
科研工作专用ChatGPT拓展，特别优化学术Paper润色体验，支持自定义快捷按钮，支持自定义函数插件，支持markdown代码块表格显示，Tex公式双显示，新增Python/C++项目剖析/自译解功能，PDF/LaTex论文翻译/总结功能，兼容ChatGLM等本地模型
claasp
A Cryptographic Library for the Automated Analysis of Symmetric Primitives
cmake-examples
Useful CMake Examples
cryptominisat
An advanced SAT solver
db
CryptoBib Database for Developers
geektime-rust
我的极客时间 Rust 课程的代码仓库，随课程更新
inviting-rust
Rust实战视频课程代码示例
it-pdf-books
新版 1000 多本计算机电子书免费下载
minionsjay
Config files for my GitHub profile.
MonomialPrediction
Source codes for paper "An Algebraic Formulation of the Division Property: Revisiting Degree Evaluations, Cube Attacks, and Key-Independent Sums" accepted by ASIACRYPT 2020
MyRustCode
daily rust code practice
PEIGEN
An open source project for study S-boxes
pysat
A toolkit for SAT-based prototyping in Python
pysmt
pySMT: A library for SMT formulae manipulation and solving
sboxanalyzer
An easy-to-use and open-source tool for differential, linear and integral analysis of S-boxes
stp
Simple Theorem Prover, an efficient SMT solver for bitvectors