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
• spookjs / spookjs-poc
  Proof-of-concept for Spook.js
  ☆70Updated 3 years ago
• f-prime / arcanevm
  A Fully Homomorphic Encryption Brainfuck virtual machine
  ☆215Updated 5 years ago
• PurpleVsGreen / beacown
  ☆128Updated 2 years ago
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆199Updated 3 years ago
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆94Updated 2 years ago
• QuestForTetris / QFT
  A repository for the Quest For Tetris
  ☆182Updated 3 years ago
• mrthefakeperson / Excel-Virtual-Machine
  C Compiler which targets Excel (MS Office)
  ☆286Updated 4 years ago
• mertyildiran / ldca
  Self-replicating, self-modifying Assembly program that can evolve into every possible computer program in the universe (EXPERIMENTAL)
  ☆57Updated 4 years ago
• shamblesides / turfwar
  IPv4 address turf war!
  ☆71Updated last year
• stong / thesis
  My undergraduate thesis
  ☆21Updated 3 years ago
• pepsipu / ltmaOS
  unfunny cringe os that allows you to shellcode in real time
  ☆7Updated 5 years ago
• WardBeullens / BreakingRainbow
  Scripts for the 'Breaking Rainbow takes a Weekend on a Laptop' paper
  ☆79Updated 2 years ago
• pearl / scrap
  A simple CTF platform in a single binary
  ☆11Updated 4 years ago
• AjayMT / silk
  The Silk Programming Language
  ☆79Updated 3 years ago
• kspalaiologos / blc-mb
  Binary Lambda Calculus evaluation engine written in Malbolge.
  ☆17Updated 2 years ago
• woodrush / lambdavm
  A programmable virtual CPU written in untyped lambda calculus
  ☆48Updated 2 years ago
• sigpwny / ctfd2pages
  A tool to easily archive CTFd sites to GitHub Pages
  ☆32Updated last week
• gamozolabs / rv32i_jit
  A super simple RV32i JIT, designed for ease of understanding and modification
  ☆84Updated 2 years ago
• ndren / redbean-onionshare
  OnionShare; no Flask, just redbean.
  ☆42Updated 2 years ago
• mit-plv / bedrock2
  A work-in-progress language and compiler for verified low-level programming
  ☆303Updated 2 weeks ago
• civboot / fngi
  a readable language that grows from the silicon
  ☆60Updated last year
• burgravian / heartfuck
  Heartf❤️ck: the most wholesome "programming language" by Laura Pircalaboiu and Ricardo Vogel. Python compiler by Jonathan Dönszelmann
  ☆53Updated 3 years ago
• slothy-optimizer / slothy
  Assembly super-optimization via constraint solving
  ☆181Updated last week
• coq-community / fourcolor
  Formal proof of the Four Color Theorem [maintainer=@ybertot]
  ☆192Updated this week
• jart / blc
  Binary Lambda Calculus Virtual Machine
  ☆51Updated last year
• Xe / minicompiler
  An implementation of Terry Davis' minicompiler in Rust targeting WebAssembly
  ☆33Updated 4 years ago
• volticks / CTF-Writeups
  If I solve a CTF challenge and do a writeup, it goes here.
  ☆10Updated 2 months ago
• uw-unsat / jitterbug
  Verification of BPF JIT compilers
  ☆54Updated last year
• 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 last year