trailofbits / differ

Related projects: ⓘ

• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆72Updated last year
• codesoap / pfuzz
  a web fuzzer using the httpipe format
  ☆99Updated 5 months ago
• gbletr42 / bef
  Block Erasure Format - An extensible, fast, and usable file utility to encode and decode interleaved erasure coded streams of data.
  ☆57Updated 3 months ago
• Thraetaona / Blitzping
  A very high-speed, configurable, and portable packet-crafting utility optimized for embedded devices
  ☆67Updated 2 weeks ago
• Dicklesworthstone / introduction_to_temporal_logic
  An introduction to temporal logic and how it can be used to analyze concurrency
  ☆103Updated 7 months 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…
  ☆100Updated 7 months ago
• 8dcc / bin-graph
  Visualize binary files
  ☆110Updated 2 weeks ago
• avishek-sen-gupta / cobol-rekt
  An evolving toolkit of capabilities helpful for reverse engineering legacy Cobol code
  ☆83Updated this week
• hashlookup / fleur
  Fleur implements a Bloom Filter library in C that is fully compatible with DCSO's Go and python implementations.
  ☆117Updated last year
• kstenerud / dogma
  Dogma: A modernized metalanguage with better expressiveness and binary grammar support
  ☆63Updated last year
• jwilk / git-landmine
  create local malicious git repo
  ☆49Updated 6 months ago
• nevesnunes / ghidra-plays-mario
  Playing NES ROMs with Ghidra's PCode Emulator
  ☆98Updated last year
• meelgroup / pepin
  A probabilistic approximate DNF counter
  ☆36Updated 5 months ago
• freedomofpress / securedrop-protocol
  Research and proof of concept to develop the next SecureDrop with end to end encryption.
  ☆47Updated 2 months ago
• altilunium / lacakgrak
  Simple inbound/outbound packet sniffer
  ☆31Updated last month
• tcsenpai / qrare
  ☆28Updated last month
• jwilk / abmagick
  abuse ImageMagick (or GraphicsMagick) to create arbitrary files
  ☆53Updated 7 months ago
• cryspen / bertie
  Bertie TLS 1.3 Implementation
  ☆112Updated 2 months ago
• tatut / pgprolog
  PostgreSQL Prolog language handler
  ☆128Updated 5 months ago
• eliot-akira / waxolotl
  A small language that compiles to WebAssembly Text format
  ☆73Updated 4 months ago
• flavio / hermit-wasm
  A Unikernel running WebAssembly code
  ☆47Updated last year
• juliusgeo / branchless_bisect
  Beating the `bisect` module's implementation using C-extensions.
  ☆30Updated last year
• Hafthor / zsvutil
  ZSV Utility for converting json to/from zip-separated-values
  ☆58Updated 3 months ago
• ndren / redbean-onionshare
  OnionShare; no Flask, just redbean.
  ☆42Updated last year
• Dicklesworthstone / bakery_algorithm
  Lamport's Bakery Algorithm Demonstrated in Python
  ☆94Updated 8 months ago
• realyixuan / gsubpy
  An interpreter of subset of Python in Go
  ☆48Updated last year
• ronomon / pure
  A static analysis file format checker.
  ☆235Updated 4 years ago
• MultiArrayQueue / MultiArrayQueue
  Multi-Array Queue program codes
  ☆74Updated 2 months ago
• teknoraver / car
  Copy-on-write archiver
  ☆111Updated this week
• forensant / pakiki-core
  Pākiki is an intercepting proxy designed to help penetration testers find security vulnerabilities in web or mobile applications. This re…
  ☆33Updated last month