Alternatives and similar repositories for Snap2LaTeX

Users that are interested in Snap2LaTeX are comparing it to the libraries listed below

• JuliaPoo / MT19937-Symbolic-Execution-and-Solver
  Python implementation of a symbolic execution of MT19937 and a solver for GF(2) matrices
  ☆40Updated 5 years ago
• epistemologist / des_symbolic
  Representing DES in Z3
  ☆16Updated 2 years ago
• zzh1996 / chatgpt-telegram-bot
  ChatGPT Telegram bot
  ☆53Updated last month
• malb / m4ri
  M4RI is a library for fast arithmetic with dense matrices over GF(2)
  ☆87Updated 2 weeks ago
• tl2cents / Implementation-of-Cryptographic-Attacks
  Implementation of cryptographic attacks. Mainly reproduction of recent cryptographic papers.
  ☆15Updated last year
• dpankratz / TVMFuzz
  TVMFuzz: fuzzing tensor-level intermediate representation in TVM
  ☆30Updated 5 years ago
• hellman / coppersmith-algorithm
  Implements Coron's simplification of Coppersmith's algorithm
  ☆10Updated 8 years ago
• rkm0959 / Implementations
  rkm0959 implements stuff
  ☆45Updated 3 years ago
• 55-AA / mod_equations
  单模多元线性方程组的通用解法，及其在密码分析中的应用。
  ☆32Updated 9 years ago
• cr-marcstevens / m4gb
  M4GB: Efficient Groebner Basis algorithm
  ☆71Updated 7 years ago
• cryptolu / primes-backdoor
  Prime backdooring procedure to allow fast factorization of semiprimes
  ☆24Updated 4 years ago
• icemonster / symbolic_mersenne_cracker
  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
• hvrr1c4n3 / My-Public-CTF-Challenges
  Repo for collecting part of my public CTF challenges
  ☆42Updated last year
• deut-erium / RNGeesus
  SMT based attacks on non cryptographic PRNGs
  ☆91Updated 2 years ago
• rkm0959 / Inequality_Solving_with_CVP
  CVP "trick" for CTF challenges
  ☆150Updated 2 years ago
• enochii / simple-pointer-analysis
  Pointer analysis prototype (currently including anderson, steensgard).
  ☆16Updated 4 years ago
• D33BaT0 / my-ctf-challenges
  my ctf chals
  ☆11Updated 7 months ago
• juliannowakowski / automated-coppersmith
  ☆37Updated 2 years ago
• Lyutoon / cryptography
  Some crypto scripts which is useful in study and ctf
  ☆29Updated 4 years ago
• twd2 / CV
  My Curriculum Vitae and Resume
  ☆16Updated last year
• ganler / memcov
  Collect simple coverage information in memory.
  ☆11Updated 3 years ago
• decompetition / challenges-2021
  ☆22Updated 3 years ago
• maple3142 / gf2bv
  Solving linear systems over GF(2) by manipulating bitvectors
  ☆80Updated 2 months ago
• pdlan / OSCAR
  Code for ICML 2021 paper: How could Neural Networks understand Programs?
  ☆123Updated last year
• twd2 / roload
  My DAC '21 work open-sourced.
  ☆14Updated 4 years ago
• chengpeng-wang / tutorialpass
  LLVM pass
  ☆23Updated 5 years ago
• 0ops / ctfs-2020
  ctfs-2020
  ☆17Updated 5 years ago
• Ariana1729 / RSA-is-alive
  Implementation of https://eprint.iacr.org/2021/232
  ☆93Updated 4 years ago
• PKU-GeekGame / geekgame-0th
  ☆51Updated 4 years ago
• mit-ll / Cross-Language-Attacks
  ☆27Updated 3 years ago