Alternatives and similar repositories for woodpecker

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

• pepsipu / warpalloc
  A memory allocator written in Assembly focused on speed and efficiency, making it fantastic for small programs.
  ☆14Updated 5 years ago
• FPSG-UIUC / hertzbleed
  ☆453Updated 3 years ago
• woodruffw / steg86
  Hiding messages in x86 programs using semantic duals
  ☆309Updated 2 weeks ago
• TartanLlama / vizh
  An esoteric visual language that takes image files as input based on a multi-tape turing machine, designed for compatibility with C.
  ☆234Updated 2 years ago
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆102Updated 3 years ago
• mrthefakeperson / Excel-Virtual-Machine
  C Compiler which targets Excel (MS Office)
  ☆288Updated 5 years ago
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆202Updated 3 years ago
• QuestForTetris / QFT
  A repository for the Quest For Tetris
  ☆183Updated 4 years ago
• zwegner / x86-sat
  Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs
  ☆320Updated 3 years ago
• can1357 / haruspex
  Exploration of x86-64 ISA using speculative execution.
  ☆317Updated 4 years ago
• mertyildiran / ldca
  Self-replicating, self-modifying Assembly program that can evolve into every possible computer program in the universe (EXPERIMENTAL)
  ☆63Updated 5 years ago
• Manawyrm / fxIP
  TCP/IP for Casio fx-9860 graphical calculators (with SLIP support, uIP stack)
  ☆230Updated 3 years ago
• izabera / zeromaps
  A "living" Linux process with no memory
  ☆351Updated 5 years ago
• netspooky / xx
  The xx file format. Turn your hex dumps into art, then into binary data.
  ☆345Updated 2 years ago
• adam-mcdaniel / free
  An esoteric programming language with an unusual compiler backend
  ☆331Updated 5 years ago
• nota-lang / nota
  A document language for the browser
  ☆705Updated last year
• iczelia / malbolge-lisp
  A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.
  ☆524Updated 3 months ago
• geohot / twitchcoq
  It's a poorly named metamath verifier
  ☆110Updated 5 years ago
• pearl / scrap
  A simple CTF platform in a single binary
  ☆11Updated 5 years ago
• rishiosaur / idyllic
  ⚡️ An unopinionated language for building APIs ridiculously fast.
  ☆55Updated 2 years ago
• leowhitehead / x
  X: A programming language that only accepts identifiers that look like the letter 'x'. Inspired by https://xkcd.com/2309/
  ☆40Updated 3 years ago
• m-ender / hexagony
  A two-dimensional, hexagonal programming language.
  ☆571Updated 4 years ago
• davidmalcolm / antipatterns.ko
  The world's worst kernel module
  ☆300Updated 4 years ago
• cyradotpink / russhian-roulette
  1/6 chance of posting your SSH private key on pastebin :)
  ☆87Updated last year
• sarsko / CreuSAT
  CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
  ☆662Updated 5 months ago
• pietroborrello / CustomProcessingUnit
  The first analysis framework for CPU microcode
  ☆404Updated 2 years ago
• ajyoon / systemf
  a brainfuck interpreter supporting linux syscalls with an example HTTP server
  ☆250Updated 2 years ago
• HexHive / printbf
  Brainfuck interpreter inside printf
  ☆677Updated 4 years ago
• wizard97 / iSkipper
  Skipping iClicker lectures has never been so easy... obviously not to actually be used in class for nefarious purposes.
  ☆179Updated 4 years ago
• anishathalye / neural-hash-collider
  Preimage attack against NeuralHash 💣
  ☆672Updated 2 months ago