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☆201Updated 3 years ago
- Using z3's never been easier (maybe)☆102Updated 3 years ago
- 💐 j is a subset of J, and an essay.☆45Updated 2 weeks ago
- 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
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆651Updated last month
- A Fully Homomorphic Encryption Brainfuck virtual machine☆218Updated 5 years ago
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆320Updated 3 years ago
- Automated generation of provably secure, zero-copy parsers from format specifications☆281Updated last week
- Language for high-assurance and high-speed cryptography☆302Updated last week
- C Compiler which targets Excel (MS Office)☆288Updated 5 years ago
- A memory allocator written in Assembly focused on speed and efficiency, making it fantastic for small programs.☆14Updated 5 years ago
- A repository for the Quest For Tetris☆183Updated 4 years ago
- A "living" Linux process with no memory☆344Updated 5 years ago
- A simple raytracer meant to be used as a foundation for slightly better ones.☆20Updated 4 years ago
- Metamath Zero specification language☆347Updated this week
- Assembly super-optimization via constraint solving☆213Updated this week
- unfunny cringe os that allows you to shellcode in real time☆7Updated 5 years ago
- Assembler from scratch written in Ink, supporting ELF on x86_64 and more.☆25Updated 4 years ago
- An experimental raytracer in LaTeX☆30Updated 3 years ago
- ☆450Updated 2 years ago
- Verified Assembly Language for Everest☆294Updated last year
- An esoteric programming language with an unusual compiler backend☆332Updated 5 years ago
- The world's worst kernel module☆298Updated 3 years ago
- An online visual debugger for esoteric languages☆50Updated last year
- It's a poorly named metamath verifier☆109Updated 5 years ago
- Binary Lambda Calculus Virtual Machine☆55Updated last year
- A compiler for the esoteric language ℂ.☆28Updated 3 years ago
- A two-dimensional, hexagonal programming language.☆569Updated 4 years ago
- A work-in-progress language and compiler for verified low-level programming☆310Updated 3 weeks ago
- ☆322Updated 4 months ago