qntm / base65537Links
It's one better
☆11Updated 3 weeks ago
Alternatives and similar repositories for base65537
Users that are interested in base65537 are comparing it to the libraries listed below
Sorting:
- ARM is Turing-complete without data fetches☆57Updated 7 years ago
- An exploration of code homeomorphism☆34Updated 7 years ago
- ZYTOKINE STORM is a user-mode Linux binary translation layer targeting Darwin☆16Updated 10 years ago
- Formal semantics of LLVM IR in K☆45Updated 10 years ago
- KnightOS C compiler☆25Updated 4 years ago
- A language for matching two-dimensional patterns, based on Boolean grammars.☆13Updated 7 years ago
- subleq assembler / interpreter / rop chain☆5Updated 6 years ago
- run z3 on iOS for some reason☆38Updated 2 years ago
- asrepl: x86-64 assembly REPL☆71Updated 8 years ago
- eda-3 from many years ago☆14Updated 10 years ago
- Compute excellent numbers☆9Updated last year
- Experimental results of the strata project☆9Updated 9 years ago
- A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell☆10Updated 9 years ago
- SAT instance generator for SHA-1☆49Updated 4 years ago
- Linux kernel library functions formally verified.☆52Updated 4 years ago
- Barely functional imageboard☆11Updated 9 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆71Updated 9 years ago
- Restructor Prototype☆21Updated 8 years ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- A library for binary analysis and rewriting☆47Updated last year
- A Python interpreter for the huh? programming language.☆10Updated 7 years ago
- Simple Neural Network Examples in 8 lines APL☆32Updated 2 years ago
- GNU APL port to Android☆16Updated 10 years ago
- Polyglots☆83Updated 9 years ago
- ☆19Updated 8 years ago
- A collaborative curated list of amazingly awesome OpenBSD pledge(2) resources and other awesome things.☆24Updated last year
- A library for disassembling x86-64 binaries.☆43Updated 3 months ago
- Economics games, inspired by David D. Friedman's☆12Updated 7 years ago
- Turn an interpreter into a code generator☆31Updated 9 years ago
- The Pascal-F Verifier☆49Updated 8 years ago