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 3 years ago
• minad / gridslides
  LaTeX package to create free form slides with blocks placed on a grid
  ☆40Updated 7 years ago
• choller / LLCov
  LLVM-based, flexible, live coverage instrumentation for C/C++ code
  ☆43Updated 9 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
• cr-marcstevens / m4gb
  M4GB: Efficient Groebner Basis algorithm
  ☆55Updated 6 years ago
• usubalang / usuba
  A programming language to write bitsliced ciphers
  ☆56Updated 9 months ago
• stp / minisat
  A minimalistic and high-performance SAT solver
  ☆28Updated 2 years ago
• isec-tugraz / flecc_in_c
  FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C
  ☆18Updated 7 years ago
• decomp / doc
  Design documents related to the decompilation pipeline.
  ☆26Updated 5 years ago
• mwageringel / fgb_sage
  A Sage interface for FGb (Gröbner basis computations)
  ☆34Updated last year
• 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
• lducas / CodeRed
  Basis Reduction Algorithms for Codes (LLL and more)
  ☆27Updated last year
• CyberGrandChallenge / libcgc
  DARPA Cyber Grand Challenge OS syscall library
  ☆18Updated 8 years ago
• cryptobib / db
  CryptoBib Database for Developers
  ☆44Updated 2 weeks ago
• GrammaTech / clang-mutate
  Manipulate C-family ASTs with Clang
  ☆64Updated 6 years ago
• wh5a / gcc-plugin
  Some sample code for creating gcc plugins
  ☆22Updated 15 years ago
• cr-marcstevens / dblpbibtex
  DBLP BibTeX - bibtex wrapper for automatic DBLP & IACR ePrint downloads
  ☆18Updated 2 years ago
• lducas / BDD-note
  ☆12Updated 3 years ago
• s3rvac / vim-syntax-retdecdsm
  RetDec disassembly syntax highlighting for Vim
  ☆17Updated last year
• TeX-Live / tlcockpit
  GUI for tlmgr written in Scala
  ☆27Updated 3 years ago
• hdc-arizona / cfgexplorer
  Interactive Control Flow Graph Visualization.
  ☆35Updated 3 years ago
• trailofbits / screen
  Measure branching along code paths
  ☆20Updated 8 years ago
• Rewzilla / asemu
  32-bit x86 emulator using ncurses and capstone/keystone/unicorn
  ☆29Updated 6 years ago
• michael-emmi / ct-fuzz
  ☆10Updated 4 years ago
• ranea / whiteboxarx
  Implicit White-box Implementations of ARX Ciphers
  ☆14Updated 2 years ago
• linbox-team / givaro
  Givaro - C++ library for arithmetic and algebraic computations
  ☆51Updated 3 months ago
• binsec / haunted
  Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.
  ☆17Updated last year
• regehr / llvm-dataflow-info
  print information from LLVM dataflow analyses
  ☆13Updated 5 years ago
• codespecs / fjalar
  A dynamic analysis framework for C and C++ programs
  ☆29Updated 3 weeks ago