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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A OCaml generator for well-typed terms (that use their arguments).☆11Feb 22, 2025Updated last year
- a Rust OS project☆10Feb 21, 2019Updated 7 years ago
- EBNF parsing toolset☆10May 20, 2023Updated 3 years ago
- A demontration of disassemblers generated by sleigh2rust☆13Nov 25, 2024Updated last year
- Generating, visualizing, playing around with mazes.☆62Mar 15, 2026Updated 2 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Browser extension for VVZ (ETHZ)☆15Dec 3, 2025Updated 5 months ago
- Shark-Fetch : A CLI System Information Tool☆10Jan 3, 2022Updated 4 years ago
- env support for serde☆24Apr 15, 2026Updated last month
- ☆13Sep 25, 2023Updated 2 years ago
- My Linux dotfiles☆13Sep 16, 2022Updated 3 years ago
- ☆13Jun 20, 2022Updated 3 years ago
- ☆12Sep 3, 2024Updated last year
- 🪐 A greeter for your terminal that's out of this world☆13Dec 19, 2022Updated 3 years ago
- Simple scripts that I'm using to automate the boring things.☆19Nov 12, 2017Updated 8 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Code for forum to review courses at ETH☆18May 11, 2025Updated last year
- ☆12Aug 22, 2022Updated 3 years ago
- Bind to privileged ports on OS X without running your server as root☆16Jun 7, 2022Updated 3 years ago
- Some scripts I've written, modified, or stolen for doing various things.☆16Dec 1, 2024Updated last year
- A poem generator based on text generation using GRU☆10Jan 14, 2021Updated 5 years ago
- The second iteration of DiscordPCK☆16Apr 17, 2026Updated last month
- Paginate an array into pages of items.☆15Jul 19, 2016Updated 9 years ago
- api-tracer is a tiny (useless) tracer☆17Feb 28, 2023Updated 3 years ago
- Standalone DLL that implements LLVM's demangling functionality.☆17May 14, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Linux kernel branches for confidential compute research☆20Apr 6, 2026Updated last month
- A pure-Rust library for VMware host-guest protocol ("VMXh backdoor")☆17Feb 6, 2026Updated 3 months ago
- Dynamic Taint Analysis versus Obfuscated Self-Checking☆16Sep 5, 2021Updated 4 years ago
- An utility to convert between Factorio settings file format and JSON☆12Dec 16, 2024Updated last year
- A simple ToDo app for the Terminal (Linux, Mac, Windows)☆15Jun 10, 2025Updated 11 months ago
- Code from "Building Lisp"☆34May 10, 2025Updated last year
- Data-oriented game engine written in Rust☆13Jan 25, 2019Updated 7 years ago
- Generate Rust Emulators and Disassemblers from Ghidra Sleigh.☆17Jul 18, 2023Updated 2 years ago
- Lightweight Universal Content Addressable Storage Spec☆18Jul 12, 2019Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆17Dec 18, 2023Updated 2 years ago
- Program analysis playground for a simple, imperative language☆38Jun 6, 2022Updated 3 years ago
- Fast lattice reduction☆240Aug 25, 2025Updated 8 months ago
- A repository demonstrating how you can sneak malicious code into Github PRs☆11May 29, 2017Updated 8 years ago
- Beautiful bash-spinner demo sourcing spinners.json from https://github.com/sindresorhus/cli-spinners☆18Apr 12, 2019Updated 7 years ago
- ☆14Jul 25, 2019Updated 6 years ago
- ☆15Oct 24, 2017Updated 8 years ago