Alternatives and similar repositories for woodpecker:

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

• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆199Updated 3 years ago
• f-prime / arcanevm
  A Fully Homomorphic Encryption Brainfuck virtual machine
  ☆215Updated 5 years ago
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆101Updated 3 years ago
• project-everest / vale
  Verified Assembly Language for Everest
  ☆284Updated last year
• woodrush / lambdavm
  A programmable virtual CPU written in untyped lambda calculus
  ☆52Updated 2 years ago
• AZHenley / HarvestMemory
  Program a bot using assembly-like code in this competitive game!
  ☆58Updated 3 years ago
• nw-rs / citrus-cas
  CAS (Computer Algebra System) written in Rust for no_std environments.
  ☆16Updated 2 years ago
• ashutoshbsathe / yacv
  Yet Another Compiler Visualizer
  ☆159Updated 3 years ago
• kspalaiologos / lc-apl
  Journey to the Center of the Lambda Calculus
  ☆15Updated last year
• QuestForTetris / QFT
  A repository for the Quest For Tetris
  ☆182Updated 4 years ago
• jasmin-lang / jasmin
  Language for high-assurance and high-speed cryptography
  ☆290Updated this week
• bbchallenge / bbchallenge-proofs
  Mathematical proofs of the bbchallenge project.
  ☆20Updated last week
• netspooky / protocols
  ☆229Updated last year
• hgarrereyn / SBVA
  Structured BVA
  ☆34Updated last year
• graue / esofiles
  The Esoteric File Archive
  ☆99Updated 11 months ago
• Battelle / sandsifter
  The x86 processor fuzzer
  ☆503Updated 6 years ago
• mertyildiran / ldca
  Self-replicating, self-modifying Assembly program that can evolve into every possible computer program in the universe (EXPERIMENTAL)
  ☆59Updated 4 years ago
• T-Brick / c0deine
  Reference compiler for c0
  ☆35Updated 8 months ago
• FPSG-UIUC / hertzbleed
  ☆444Updated 2 years ago
• tomhea / flip-jump
  The single instruction language - Flip a bit, then Jump
  ☆118Updated 3 months ago
• melody-notpond / owos-riscv
  Simple operating system for QEMU's virt board.
  ☆11Updated 3 years ago
• PurpleVsGreen / beacown
  ☆128Updated 2 years ago
• mit-plv / bedrock2
  A work-in-progress language and compiler for verified low-level programming
  ☆304Updated 2 weeks ago
• philzook58 / awesome-egraphs
  An awesome list of e-graph resources
  ☆153Updated last week
• regehr / guided-tree-search
  heuristically and dynamically sample (more) uniformly from large decision trees of unknown shape
  ☆12Updated last year
• netspooky / BGGP
  Binary Golf Grand Prix
  ☆111Updated last year
• AjayMT / silk
  The Silk Programming Language
  ☆79Updated 3 years ago
• anishathalye / knox
  A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities 🔏
  ☆33Updated 2 months ago
• Xe / minicompiler
  An implementation of Terry Davis' minicompiler in Rust targeting WebAssembly
  ☆33Updated 4 years ago
• cpsc411 / cpsc411-book
  The WIP book for CPSC 411
  ☆63Updated last month