trailofbits / differ

Related projects ⓘ

Alternatives and complementary repositories for differ

• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆72Updated last year
• gbletr42 / bef
  Block Erasure Format - An extensible, fast, and usable file utility to encode and decode interleaved erasure coded streams of data.
  ☆57Updated 6 months ago
• codesoap / pfuzz
  a web fuzzer using the httpipe format
  ☆99Updated 7 months ago
• Dicklesworthstone / introduction_to_temporal_logic
  An introduction to temporal logic and how it can be used to analyze concurrency
  ☆105Updated 9 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…
  ☆101Updated 9 months ago
• Koukyosyumei / Gymbo
  gradient-based symbolic execution engine implemented from scratch
  ☆35Updated 11 months ago
• 8dcc / bin-graph
  Visualize binary files
  ☆111Updated last month
• acbits / reftrack-plugin
  GCC plugin for C language that tracks references to allocated objects
  ☆23Updated last week
• AnilBK / ANIL
  ANIL(A Nice Intermediate Language) Python & C++ inspired programming language that transpiles to C and can be embedded within C source fi…
  ☆49Updated this week
• Thraetaona / Blitzping
  A very high-speed, configurable, and portable packet-crafting utility optimized for embedded devices
  ☆68Updated 2 months ago
• hashlookup / fleur
  Fleur implements a Bloom Filter library in C that is fully compatible with DCSO's Go and python implementations.
  ☆117Updated last year
• nanofuzz / nanofuzz
  NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
  ☆36Updated 2 weeks ago
• jwilk / git-landmine
  create local malicious git repo
  ☆50Updated 8 months ago
• usefulsensors / qc_npu_benchmark
  Code sample showing how to run and benchmark models on Qualcomm's Window PCs
  ☆87Updated last month
• Dicklesworthstone / bakery_algorithm
  Lamport's Bakery Algorithm Demonstrated in Python
  ☆95Updated 10 months ago
• kstenerud / dogma
  Dogma: A modernized metalanguage with better expressiveness and binary grammar support
  ☆63Updated last year
• philzook58 / knuckledragger
  Semi-Automated Python Proof Assistant
  ☆54Updated this week
• flavio / hermit-wasm
  A Unikernel running WebAssembly code
  ☆47Updated last year
• cjdrake / seqlogic
  Sequential Logic
  ☆95Updated this week
• sirgallo / quicfiletransfer
  a file transfer service utilizing quic
  ☆60Updated 2 months ago
• avishek-sen-gupta / cobol-rekt
  An evolving toolkit of capabilities helpful for reverse engineering legacy Cobol code
  ☆91Updated this week
• jinyus / Fsharp-Teaching
  Materials for my lectures including programming langauge design, software engineering and human-computer interaction.
  ☆18Updated last year
• AkechiShiro / slides-talks
  My own cybersecurity research talks/slides
  ☆37Updated last year
• thegoodduck / NetSour
  CLI based packet reader in Python.
  ☆100Updated 2 months ago
• meelgroup / pepin
  A probabilistic approximate DNF counter
  ☆36Updated 7 months ago
• eliot-akira / waxolotl
  A small language that compiles to WebAssembly Text format
  ☆73Updated 6 months ago
• goblint / cil
  C Intermediate Language
  ☆142Updated last month
• fzakaria / sqlelf
  Explore ELF objects through the power of SQL
  ☆252Updated 3 months ago
• scottmckuen / qoord
  Tiny, rough-and-ready quantum circuit simulator for exploring quantum networking and computing.
  ☆33Updated 6 months ago
• KienTTran / ABMGPU
  Agent Based Model on GPU using CUDA 12.2.1 and OpenGL 4.5 (CUDA OpenGL interop) on Windows/Linux
  ☆69Updated last month