Alternatives and similar repositories for woodpecker

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

• 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
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆201Updated 3 years ago
• woodruffw / steg86
  Hiding messages in x86 programs using semantic duals
  ☆307Updated this week
• 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
  ☆450Updated 3 years ago
• uclaacm / uclaacm-rustlings
  Learning Rust in 6 weeks with ACM @ UCLA!
  ☆10Updated 3 years ago
• QuestForTetris / QFT
  A repository for the Quest For Tetris
  ☆183Updated 4 years ago
• pearl / scrap
  A simple CTF platform in a single binary
  ☆11Updated 5 years ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆306Updated last week
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆102Updated 3 years ago
• arjvik / RPN-Ti84
  Advanced Reverse Polish Notation entry program for the Ti-84+CE calculators
  ☆35Updated 2 years ago
• mertyildiran / ldca
  Self-replicating, self-modifying Assembly program that can evolve into every possible computer program in the universe (EXPERIMENTAL)
  ☆62Updated 4 years ago
• lubeskih / enigma-emulator
  Enigma I, Navy M3/M4 Machine Emulator
  ☆38Updated 2 years ago
• netspooky / golfclub
  Binary Golf Examples and Resources
  ☆256Updated last year
• netspooky / xx
  The xx file format. Turn your hex dumps into art, then into binary data.
  ☆345Updated 2 years ago
• kartva / keymashed
  Mash! your keyboard to make your internet better - installation at Purdue Hackers' BURST
  ☆44Updated 2 weeks 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
• blueset / CTFd
  CTFs as you need them (with mods for the Luna theme)
  ☆17Updated last year
• ccz181078 / Coq-BB5
  ☆344Updated 3 weeks ago
• Battelle / sandsifter
  The x86 processor fuzzer
  ☆512Updated 7 years ago
• nicolasloizeau / gol-computer
  A computer in Conway's game of life
  ☆172Updated 10 months ago
• sarsko / CreuSAT
  CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
  ☆658Updated 3 months ago
• digama0 / mm0
  Metamath Zero specification language
  ☆354Updated 2 months ago
• piemadd / url-lengthener
  ☆248Updated 3 years ago
• Rogdham / gif-md5-hashquine
  GIF displaying its own MD5 (hashquine)
  ☆77Updated 5 years ago
• Randdalf / intscript
  A tiny language that compiles to intcode
  ☆32Updated 5 years ago
• can1357 / haruspex
  Exploration of x86-64 ISA using speculative execution.
  ☆315Updated 4 years ago
• eleanor-em / ccc
  A compiler for the esoteric language ℂ.
  ☆28Updated 4 years ago
• trailofbits / sixtyfour
  How fast can we brute force a 64-bit comparison?
  ☆54Updated 5 years ago
• hgarrereyn / img2txt2img
  img -> txt -> img
  ☆10Updated 4 years ago