Alternatives and similar repositories for differ:

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

• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆73Updated 2 years ago
• Dicklesworthstone / introduction_to_temporal_logic
  An introduction to temporal logic and how it can be used to analyze concurrency
  ☆105Updated last year
• M3rcuryLake / Nyxelf
  Nyxelf is a highly effective tool tailored for analyzing malicious Linux ELF binaries, offering comprehensive support for both static and…
  ☆104Updated last month
• shivasurya / code-pathfinder
  Code Pathfinder, the open-source alternative to GitHub CodeQL built with GoLang. Built for advanced structural search, derive insights, f…
  ☆54Updated this week
• codesoap / pfuzz
  a web fuzzer using the httpipe format
  ☆100Updated 11 months ago
• gbletr42 / bef
  Block Erasure Format - An extensible, fast, and usable file utility to encode and decode interleaved erasure coded streams of data.
  ☆58Updated 9 months ago
• AnilBK / ANIL
  ANIL(A Nice Intermediate Language) Python & C++ inspired programming language that transpiles to C and can be embedded within C source fi…
  ☆54Updated this week
• Thraetaona / Blitzping
  A very high-speed, configurable, and portable packet-crafting utility optimized for embedded devices
  ☆73Updated last month
• 8dcc / bin-graph
  Visualize binary files
  ☆130Updated 2 months ago
• gdm85 / lc
  List files in categories (and columns) - from Coherent UNIX
  ☆41Updated 4 years ago
• hashlookup / fleur
  Fleur implements a Bloom Filter library in C that is fully compatible with DCSO's Go and python implementations.
  ☆118Updated 2 years ago
• kstenerud / dogma
  Dogma: A modernized metalanguage with better expressiveness and binary grammar support
  ☆64Updated last year
• jwilk / git-landmine
  create local malicious git repo
  ☆50Updated 2 weeks ago
• acbits / reftrack-plugin
  GCC plugin for C language that tracks references to allocated objects
  ☆24Updated 2 weeks ago
• Koukyosyumei / Gymbo
  gradient-based symbolic execution engine implemented from scratch
  ☆35Updated last year
• ronomon / pure
  A static analysis file format checker.
  ☆239Updated 4 years ago
• avishek-sen-gupta / cobol-rekt
  An evolving toolkit of capabilities helpful for reverse engineering legacy Cobol code
  ☆97Updated 3 months ago
• cjdrake / seqlogic
  Sequential Logic
  ☆110Updated this week
• Dicklesworthstone / bakery_algorithm
  Lamport's Bakery Algorithm Demonstrated in Python
  ☆96Updated last year
• hex0punk / wally
  Function callpath mapping analysis tool for Go
  ☆34Updated last week
• jwilk / abmagick
  abuse ImageMagick (or GraphicsMagick) to create arbitrary files
  ☆53Updated 2 weeks ago
• anfractuosity / ramrecovery
  Simple demo illustrating remanence of data in RAM (see Cold boot attack) using a Raspberry Pi. Loads many images of the Mona Lisa into R…
  ☆102Updated last year
• bieganski / asstrace
  A stateful strace-like - Linux syscall tampering-first strace-like tool.
  ☆16Updated 3 weeks ago
• microsoft / verona-sandbox
  Library sandboxing for the Verona research language and usable in other contexts.
  ☆46Updated last year
• nanofuzz / nanofuzz
  NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
  ☆38Updated last month
• altilunium / lacakgrak
  Simple inbound/outbound packet sniffer
  ☆31Updated 5 months ago
• goblint / cil
  C Intermediate Language
  ☆149Updated last month
• DOSAYGO-Research / rain
  The fastest 128-bit and 256-bit hash, passes all tests, and under 140 source lines of code. API library and CLI tool in C++ and NodeJS/Wa…
  ☆124Updated last month
• nevesnunes / ghidra-plays-mario
  Playing NES ROMs with Ghidra's PCode Emulator
  ☆101Updated last year