Alternatives and similar repositories for LiveTikZ:

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

• okazymyrov / sbox
  Analysis and generation of substitutions
  ☆23Updated 2 years ago
• iaikkrypto / lineartrails
  Tool to automatically search for linear characteristics
  ☆39Updated 9 years ago
• cr-marcstevens / m4gb
  M4GB: Efficient Groebner Basis algorithm
  ☆55Updated 6 years ago
• lducas / CodeRed
  Basis Reduction Algorithms for Codes (LLL and more)
  ☆26Updated last year
• CryptoExperts / breaking-winning-challenges-of-whibox2019
  ☆14Updated 4 years ago
• petRUShka / vim-sage
  Vim plugin for SageMath (Sage) mathematics software system
  ☆21Updated last year
• isec-tugraz / flecc_in_c
  FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C
  ☆18Updated 7 years ago
• ikizhvatov / leakage-modelling-tutorial
  A tutorial on side channel leakage modelling using linear regression
  ☆13Updated 7 years ago
• crocs-muni / scrutiny
  An automated toolkit to analyze and detect changes in secure hardware and cryptographic libraries. SCRUTINY provides high-level framework…
  ☆11Updated 3 months ago
• mwageringel / fgb_sage
  A Sage interface for FGb (Gröbner basis computations)
  ☆34Updated 10 months ago
• cr-marcstevens / dblpbibtex
  DBLP BibTeX - bibtex wrapper for automatic DBLP & IACR ePrint downloads
  ☆17Updated 2 years ago
• CyberGrandChallenge / libcgc
  DARPA Cyber Grand Challenge OS syscall library
  ☆18Updated 8 years ago
• cacheaudit / cacheaudit
  A Tool for the Static Analysis of Cache Side Channels
  ☆39Updated 8 years ago
• pgarba / Hulk
  Hulk is able to bruteforce missing bytes after a DCA attack on AES with his special ability of AES-NI
  ☆13Updated 6 years ago
• usubalang / usuba
  A programming language to write bitsliced ciphers
  ☆56Updated 6 months ago
• cryptobib / db
  CryptoBib Database for Developers
  ☆44Updated 2 months ago
• eyalr0 / AES-Cryptoanalysis
  ☆12Updated 5 years ago
• stp / minisat
  A minimalistic and high-performance SAT solver
  ☆28Updated 2 years ago
• octopus-platform / octopus
  Generic server for collaborative code analysis
  ☆13Updated 8 years ago
• binsec / klee21-tina-artifact
  TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…
  ☆27Updated 3 years ago
• trailofbits / tourniquet
  A Python library for easy and fast program transformation/repair
  ☆15Updated 3 years ago
• sancus-tee / tutorial-dsn18
  Building Distributed Enclave Applications with Sancus and SGX
  ☆13Updated 4 years ago
• minad / gridslides
  LaTeX package to create free form slides with blocks placed on a grid
  ☆39Updated 7 years ago
• choller / LLCov
  LLVM-based, flexible, live coverage instrumentation for C/C++ code
  ☆43Updated 9 years ago
• lducas / BDD-note
  ☆13Updated 3 years ago
• malb / oxford-lattice-school-lessons
  ☆19Updated 6 years ago
• LaurenDM / AttackAESCTR
  ☆20Updated 5 years ago
• manateelazycat / flex
  It's a mode for flex files that provide better syntax highlight than flex-mode.el
  ☆9Updated 5 years ago
• ConnorNelson / pypreload
  LD_PRELOAD, but for Python.
  ☆18Updated 5 years ago
• UzL-ITS / white-box-masking
  A White-Box Masking Scheme Against Computational and Algebraic Attacks
  ☆12Updated 4 years ago