radical-semiconductor / woodpeckerView external linksLinks
A past down-to-the-metal cryptography challenge designed by Radical Semiconductor.
☆22Jun 10, 2024Updated last year
Alternatives and similar repositories for woodpecker
Users that are interested in woodpecker are comparing it to the libraries listed below
Sorting:
- A demontration of disassemblers generated by sleigh2rust☆13Nov 25, 2024Updated last year
- A OCaml generator for well-typed terms (that use their arguments).☆11Feb 22, 2025Updated 11 months ago
- Various mechanized proof files for fun.☆13Aug 11, 2025Updated 6 months ago
- ☆13Jun 20, 2022Updated 3 years ago
- api-tracer is a tiny (useless) tracer☆17Feb 28, 2023Updated 2 years ago
- ☆13Sep 25, 2023Updated 2 years ago
- Linux kernel branches for confidential compute research☆20Mar 31, 2025Updated 10 months ago
- ☆14Sep 2, 2025Updated 5 months ago
- SymRustC is a hybrid fuzzer for Rust combining concolic execution using SymCC and fuzzing using LibAFL.☆11Jun 28, 2023Updated 2 years ago
- Experimental static analysis framework.☆15Apr 17, 2024Updated last year
- Generate Rust Emulators and Disassemblers from Ghidra Sleigh.☆17Jul 18, 2023Updated 2 years ago
- Dynamic Taint Analysis versus Obfuscated Self-Checking☆16Sep 5, 2021Updated 4 years ago
- ☆15Oct 24, 2017Updated 8 years ago
- ☆17Aug 7, 2024Updated last year
- Achieving code execution through abusing vectored exception handling☆17May 28, 2023Updated 2 years ago
- Tiny key-value store for persisting configuration data on microcontrollers☆21Nov 16, 2025Updated 3 months ago
- Quizbowl tournament management system based in the cloud☆15Jan 12, 2023Updated 3 years ago
- 👾 VVVVVV for web-browsers, using Emscripten and WASM☆34Jan 23, 2020Updated 6 years ago
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆19Mar 18, 2025Updated 10 months ago
- Monad transformers for combining local and global state with backtracking/backjumping/continuations☆20Jul 23, 2016Updated 9 years ago
- Find RSA primes in files☆20May 14, 2022Updated 3 years ago
- A copy of my Mathematics and Computer Engineering B.Sc. thesis☆20Dec 8, 2020Updated 5 years ago
- A special-purpose processor for pure, non-strict functional languages☆31Jan 7, 2025Updated last year
- Best fortnite external base using nvidia overlay it has nice optimization 0 lags with 100 people render, weapon configs, internal box and…☆18Apr 25, 2023Updated 2 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Oct 31, 2022Updated 3 years ago
- Fast lattice reduction☆229Aug 25, 2025Updated 5 months ago
- Synthesis from Inductive specification eMpowered by Bidirectional Abstract Interpretation☆22Dec 3, 2023Updated 2 years ago
- A bare-bones LCF-style proof assistant☆25Aug 13, 2019Updated 6 years ago
- The toolchain of Chosen-instruction attack☆21May 3, 2022Updated 3 years ago
- Binary Ninja plugin for visualizing coverage over time☆25Jan 15, 2022Updated 4 years ago
- MMI IFS☆27Aug 25, 2014Updated 11 years ago
- NoirGate provides on-demand ephemeral anonymous shells secured by TOTP☆34Apr 29, 2024Updated last year
- LLVM Without The ROP Gadgets!☆25Jan 9, 2024Updated 2 years ago
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆38Jan 22, 2026Updated 3 weeks ago
- Analyzing the driver and internal module of EasyAntiCheat.☆40May 1, 2023Updated 2 years ago
- The Steel separation logic library for F*☆36Nov 24, 2025Updated 2 months ago
- A WebAssembly implementation in Lean4☆41Dec 13, 2023Updated 2 years ago
- Use Python from Racket☆36Dec 5, 2025Updated 2 months ago
- a tiny, wasm-ready virtual machine - stupidly fast☆38Dec 2, 2025Updated 2 months ago