qntm / base65537Links
It's one better
☆11Updated last month
Alternatives and similar repositories for base65537
Users that are interested in base65537 are comparing it to the libraries listed below
Sorting:
- asrepl: x86-64 assembly REPL☆71Updated 8 years ago
- Tools for testing C compilers for the correct handling of volatile objects.☆27Updated 11 years ago
- KnightOS C compiler☆25Updated 4 years ago
- Encodes data into printable Unicode characters.☆90Updated 4 months ago
- ZYTOKINE STORM is a user-mode Linux binary translation layer targeting Darwin☆16Updated 10 years ago
- ARM is Turing-complete without data fetches☆57Updated 7 years ago
- x86-64 kernel in Rust☆32Updated 8 years ago
- SECD microprocessor reimplementation in VHDL☆35Updated 5 years ago
- A language for matching two-dimensional patterns, based on Boolean grammars.☆13Updated 7 years ago
- run z3 on iOS for some reason☆38Updated 3 years ago
- How fast can we brute force a 64-bit comparison?☆52Updated 5 years ago
- Keystone assembler framework for JavaScript☆78Updated 2 years ago
- A basic UNIX shell implementation in C☆33Updated 5 years ago
- Lower Size Bounds for Sorting Networks☆46Updated 4 years ago
- A SAT solver implementation in VHDL, team tussle☆21Updated 9 years ago
- System tracer implementation in Rust☆32Updated 8 years ago
- GNU APL port to Android☆16Updated 10 years ago
- A REPL for assembly☆103Updated 9 years ago
- beeswax Esoteric Programming Language☆15Updated 5 years ago
- An exploration of code homeomorphism☆34Updated 7 years ago
- Exokernel for IA32 architectures with a segmented memory managment model and user level only drivers.☆22Updated 9 years ago
- s-expression → internal IR → LLVM IR☆46Updated 9 years ago
- flat assembler - the open source assembly language compiler for x86 and x86-64 processors by Tomasz Grysztar. built for OS X.☆45Updated 8 years ago
- The Pascal-F Verifier☆50Updated 8 years ago
- Scripting Assembly Language☆12Updated 10 years ago
- Linux kernel library functions formally verified.☆52Updated 4 years ago
- Even better than eda-reversing...I hope☆62Updated 15 years ago
- Turn an interpreter into a code generator☆31Updated 9 years ago
- Reference implementation of the GOLF CPU.☆17Updated 8 years ago
- Secure Coding Validation Suite☆16Updated 6 years ago