xr0-org / xr0Links
The Xr0 Verifier for C
☆205Updated 8 months ago
Alternatives and similar repositories for xr0
Users that are interested in xr0 are comparing it to the libraries listed below
Sorting:
- A x86_64 Linux debugger 🐛🐛🐛☆238Updated last year
- Sandboxing for GNU Make has never been easier☆251Updated 3 years ago
- A detour through the Linux dynamic linker☆466Updated 5 months ago
- 🥜 A Self-Compiling C Transpiler Targeting Human-Readable POSIX Shell☆487Updated last week
- Compiling C to FlipJump☆96Updated 11 months ago
- Battery info program for x86-64 Linux laptops in 384 bytes of machine code☆60Updated last year
- ☆296Updated last year
- xv6 OS☆246Updated 3 months ago
- A mirror of https://git.sr.ht/~grego/sumtypes.h☆76Updated 11 months ago
- Self contained, fully static llvm tools & libs☆362Updated 2 years ago
- ☆178Updated 2 years ago
- Minimal implementation of a time-sharing kernel on RISC-V, implemented in Zig, on top of OpenSBI☆201Updated 3 months ago
- OpenBSD APIs ported to Linux userspace using SECCOMP BPF and Landlock LSM☆126Updated 2 years ago
- Linux system calls.☆217Updated 6 years ago
- Writing a hypervisor in 1,000 lines.☆286Updated 3 months ago
- Set of macros that guard against buffer overflows. Based on C99 VLA feature.☆128Updated 2 years ago
- Header-only library for asynchronous tasks in C☆268Updated last year
- My WebAssembly VM☆75Updated last week
- An educational implementation of a modern compressor in Rust☆48Updated 2 years ago
- A simple C coroutine library.☆229Updated last year
- A small, portable, linear probing hash map☆144Updated 9 months ago
- HPC research and demonstrations☆111Updated 3 weeks ago
- ☆44Updated 9 months ago
- a tool for reinterpreting ELF executables and shared libraries☆343Updated last year
- A repository that collects libc ABI files for multiple versions and a tool to combine them into one dataset.☆187Updated 2 months ago
- Actually Portable WebAssembly compiler toolchain for self-contained cross-platform binaries☆223Updated last year
- A hash array-mapped trie implementation in C☆321Updated last year
- framebuffer user interface☆301Updated 7 months ago
- Fast RISC-V-based scripting backend for game engines☆271Updated 6 months ago
- A portable self-bootstrapping C compiler☆184Updated this week