ProfFan / Snap2LaTeXLinks
A minimalist macOS app to convert a snap of Equation to LaTeX without paying
☆15Updated last year
Alternatives and similar repositories for Snap2LaTeX
Users that are interested in Snap2LaTeX are comparing it to the libraries listed below
Sorting:
- Python implementation of a symbolic execution of MT19937 and a solver for GF(2) matrices☆40Updated 5 years ago
- Representing DES in Z3☆16Updated 2 years ago
- ChatGPT Telegram bot☆53Updated last month
- M4RI is a library for fast arithmetic with dense matrices over GF(2)☆87Updated 2 weeks ago
- Implementation of cryptographic attacks. Mainly reproduction of recent cryptographic papers.☆15Updated last year
- TVMFuzz: fuzzing tensor-level intermediate representation in TVM☆30Updated 5 years ago
- Implements Coron's simplification of Coppersmith's algorithm☆10Updated 8 years ago
- rkm0959 implements stuff☆45Updated 3 years ago
- 单模多元线性方程组的通用解法,及其在密码分析中的应用。☆32Updated 9 years ago
- M4GB: Efficient Groebner Basis algorithm☆71Updated 7 years ago
- Prime backdooring procedure to allow fast factorization of semiprimes☆24Updated 4 years ago
- Models the mersenne twister used by Python Random as a symbolic program. This allows recovering the state given a few outputs☆100Updated 4 years ago
- Repo for collecting part of my public CTF challenges☆42Updated last year
- SMT based attacks on non cryptographic PRNGs☆91Updated 2 years ago
- CVP "trick" for CTF challenges☆150Updated 2 years ago
- Pointer analysis prototype (currently including anderson, steensgard).☆16Updated 4 years ago
- my ctf chals☆11Updated 7 months ago
- ☆37Updated 2 years ago
- Some crypto scripts which is useful in study and ctf☆29Updated 4 years ago
- My Curriculum Vitae and Resume☆16Updated last year
- Collect simple coverage information in memory.☆11Updated 3 years ago
- ☆22Updated 3 years ago
- Solving linear systems over GF(2) by manipulating bitvectors☆80Updated 2 months ago
- Code for ICML 2021 paper: How could Neural Networks understand Programs?☆123Updated last year
- My DAC '21 work open-sourced.☆14Updated 4 years ago
- LLVM pass☆23Updated 5 years ago
- ctfs-2020☆17Updated 5 years ago
- Implementation of https://eprint.iacr.org/2021/232☆93Updated 4 years ago
- ☆51Updated 4 years ago
- ☆27Updated 3 years ago