xr0-org / xr0
The Xr0 Verifier for C
☆179Updated 3 weeks ago
Alternatives and similar repositories for xr0:
Users that are interested in xr0 are comparing it to the libraries listed below
- Sandboxing for GNU Make has never been easier☆238Updated 2 years ago
- ☆296Updated last year
- A simple C coroutine library.☆227Updated last year
- bold: the bold linker☆284Updated this week
- a tool for reinterpreting ELF executables and shared libraries☆317Updated 5 months ago
- Compiling C to FlipJump☆88Updated 3 months ago
- xv6 OS☆237Updated 2 weeks ago
- Embedded Linker☆157Updated last week
- Fast RISC-V-based scripting backend for game engines☆260Updated 3 months ago
- 🥜 A Self-Compiling C Transpiler Targeting Human-Readable POSIX Shell☆459Updated last week
- ☆42Updated last month
- A x86_64 Linux debugger 🐛🐛🐛☆234Updated last year
- A high-throughput parser for the Zig programming language.☆218Updated 3 weeks ago
- ☆173Updated last year
- VSCode LLVM Compiler Explorer☆228Updated 11 months ago
- Battery info program for x86-64 Linux laptops in 384 bytes of machine code☆59Updated 11 months ago
- ☆43Updated this week
- Inspect and dissect an ELF file with pretty formatting.☆106Updated last year
- Actually Portable WebAssembly compiler toolchain for self-contained cross-platform binaries☆212Updated 8 months ago
- An educational implementation of a modern compressor in Rust☆47Updated last year
- Set of macros that guard against buffer overflows. Based on C99 VLA feature.☆129Updated last year
- Minimalistic hypervisor built on KVM, coded with Zig.☆142Updated 8 months ago
- A repository that collects libc ABI files for multiple versions and a tool to combine them into one dataset.☆179Updated this week
- Translations of a simple C program to Rust.☆140Updated last year
- Self contained, fully static llvm tools & libs☆352Updated 2 years ago
- A portable self-bootstrapping C compiler☆137Updated 3 weeks ago
- Tiny hash function in C☆134Updated 8 months ago
- A mirror of https://git.sr.ht/~grego/sumtypes.h☆76Updated 3 months ago
- What do you call a pointer we stole the high bits off? An ointer.☆86Updated last year
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆65Updated 9 months ago