xr0-org / xr0Links
The Xr0 Verifier for C
☆179Updated 3 months ago
Alternatives and similar repositories for xr0
Users that are interested in xr0 are comparing it to the libraries listed below
Sorting:
- Compiling C to FlipJump☆91Updated 6 months ago
- Sandboxing for GNU Make has never been easier☆242Updated 2 years ago
- A repository that collects libc ABI files for multiple versions and a tool to combine them into one dataset.☆183Updated last week
- A x86_64 Linux debugger 🐛🐛🐛☆236Updated last year
- ☆295Updated last year
- 🥜 A Self-Compiling C Transpiler Targeting Human-Readable POSIX Shell☆468Updated last month
- ☆43Updated 4 months ago
- Battery info program for x86-64 Linux laptops in 384 bytes of machine code☆60Updated last year
- OpenBSD APIs ported to Linux userspace using SECCOMP BPF and Landlock LSM☆115Updated last year
- Header-only library for asynchronous tasks in C☆270Updated last year
- Self contained, fully static llvm tools & libs☆350Updated 2 years ago
- Set of macros that guard against buffer overflows. Based on C99 VLA feature.☆129Updated 2 years ago
- A simple C coroutine library.☆227Updated last year
- A detour through the Linux dynamic linker☆200Updated 2 weeks ago
- ☆175Updated last year
- xv6 OS☆240Updated last week
- a tool for reinterpreting ELF executables and shared libraries☆329Updated 8 months ago
- Actually Portable WebAssembly compiler toolchain for self-contained cross-platform binaries☆215Updated 10 months ago
- An experimental modern general-purpose microkernel OS.☆370Updated this week
- A mirror of https://git.sr.ht/~grego/sumtypes.h☆76Updated 6 months ago
- A small, portable, linear probing hash map☆143Updated 4 months ago
- A portable self-bootstrapping C compiler☆146Updated this week
- Integer Map Data Structure☆131Updated 2 years ago
- Tiny hash function in C☆140Updated 11 months ago
- Cp1 / C+1 / C plus 1 Programming Language, a TypeScript for C☆75Updated this week
- Fast RISC-V-based scripting backend for game engines☆267Updated last month
- Rust-like Traits & A Borrow Checker and Memory Ownership System for C++20 (heavily inspired from Rust)☆239Updated 7 months ago
- A very fast and robust 64-bit PRNG with a minimum 2^64 period.☆148Updated last month
- My little WebAssembly interpreter☆73Updated last week
- framebuffer user interface☆300Updated 2 months ago