radical-semiconductor / woodpeckerLinks
A past down-to-the-metal cryptography challenge designed by Radical Semiconductor.
☆20Updated last year
Alternatives and similar repositories for woodpecker
Users that are interested in woodpecker are comparing it to the libraries listed below
Sorting:
- Flexible and Constant Time Programming Language☆200Updated 3 years ago
- A Fully Homomorphic Encryption Brainfuck virtual machine☆216Updated 5 years ago
- Using z3's never been easier (maybe)☆102Updated 3 years ago
- ☆450Updated 2 years ago
- Hiding messages in x86 programs using semantic duals☆300Updated this week
- An esoteric visual language that takes image files as input based on a multi-tape turing machine, designed for compatibility with C.☆233Updated last year
- My personal repository of formally verified mathematics.☆302Updated this week
- A repository for the Quest For Tetris☆182Updated 4 years ago
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆318Updated 3 years ago
- C Compiler which targets Excel (MS Office)☆288Updated 4 years ago
- The Principia Rewrite☆224Updated 5 months ago
- Language for high-assurance and high-speed cryptography☆297Updated this week
- Automated generation of provably secure, zero-copy parsers from format specifications☆279Updated this week
- Self-replicating, self-modifying Assembly program that can evolve into every possible computer program in the universe (EXPERIMENTAL)☆60Updated 4 years ago
- ☆128Updated 2 years ago
- Freiscale Semicomposer -- music composition without scales☆11Updated 2 years ago
- A sudoku game where you have to prove that your deductions are valid☆114Updated 2 years ago
- Intuitive Advanced Cryptography☆438Updated 2 years ago
- A computer in Conway's game of life☆170Updated 7 months ago
- The world's worst kernel module☆299Updated 3 years ago
- An esoteric programming language with an unusual compiler backend☆332Updated 5 years ago
- A unique blend of C, Java, and Python tailored for those who desire a simple yet powerful programming language.☆29Updated 4 years ago
- A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.☆513Updated this week
- Software suite for ranking chess positions and accurately estimating the number of legal chess positions☆165Updated last year
- The x86 processor fuzzer☆509Updated 6 years ago
- Reso: A visual circuits programming language using pixels.☆303Updated last year
- ☆113Updated last year
- The first analysis framework for CPU microcode☆394Updated 2 years ago
- Metamath Zero specification language☆346Updated 2 weeks ago
- Exploration of x86-64 ISA using speculative execution.☆312Updated 4 years ago