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
  ☆198Updated 2 years ago
• mertyildiran / ldca
  Self-replicating, self-modifying Assembly program that can evolve into every possible computer program in the universe (EXPERIMENTAL)
  ☆56Updated 4 years ago
• trailofbits / sixtyfour
  How fast can we brute force a 64-bit comparison?
  ☆52Updated 5 years ago
• moshev / TemplateQueens
  Some simple C++ template abuse
  ☆18Updated 5 years ago
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆100Updated 2 years ago
• WardBeullens / BreakingRainbow
  Scripts for the 'Breaking Rainbow takes a Weekend on a Laptop' paper
  ☆79Updated 2 years ago
• spookjs / spookjs-poc
  Proof-of-concept for Spook.js
  ☆69Updated 3 years ago
• jasmin-lang / jasmin
  Language for high-assurance and high-speed cryptography
  ☆278Updated this week
• pepsipu / ban
  Boolean Algebra Notation is a programming language that allows the execution of Boolean expressions.
  ☆7Updated 5 years ago
• PQCMayo / MAYO-C
  MAYO C implementation
  ☆13Updated last week
• nicolasloizeau / guigl
  GUI for glider logic in Conway's game of life.
  ☆100Updated 4 years ago
• ashutoshbsathe / yacv
  Yet Another Compiler Visualizer
  ☆158Updated 3 years ago
• shamblesides / turfwar
  IPv4 address turf war!
  ☆71Updated last year
• contificate / lr
  An interactive tool for experimenting with LR(1) grammars
  ☆14Updated 2 years ago
• f-prime / arcanevm
  A Fully Homomorphic Encryption Brainfuck virtual machine
  ☆214Updated 5 years ago
• cratelyn / j
  💐 j is a subset of J, and an essay.
  ☆35Updated last year
• danthedaniel / BF-JIT
  BrainFuck just-in-time compiler
  ☆24Updated last year
• eleanor-em / ccc
  A compiler for the esoteric language ℂ.
  ☆28Updated 3 years ago
• Battelle / reductio
  An exploration of code homeomorphism
  ☆34Updated 6 years ago
• GiacomoPope / Castryck-Decru-SageMath
  A SageMath implementation of the Castryck-Decru Key Recovery attack on SIDH
  ☆124Updated last year
• project-everest / everparse
  Automated generation of provably secure, zero-copy parsers from format specifications
  ☆261Updated this week
• philzook58 / awesome-egraphs
  An awesome list of e-graph resources
  ☆121Updated this week
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆41Updated 5 months ago
• Inria-Prosecco / pqxdh-analysis
  Formal Analysis of the PQXDH Protocol
  ☆24Updated 7 months ago
• Symbolica / Symbolica
  Symbolica's open-source symbolic execution engine.
  ☆65Updated 4 months ago
• CertiCoq / VeriFFI
  VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …
  ☆40Updated 2 weeks ago
• pepsipu / warpalloc
  A memory allocator written in Assembly focused on speed and efficiency, making it fantastic for small programs.
  ☆14Updated 5 years ago
• slothy-optimizer / slothy
  Assembly super-optimization via constraint solving
  ☆177Updated this week
• joelonsql / reason-re-nfa
  ReasonML code to construct an NFA from a regular expression
  ☆23Updated 5 years ago