xr0-org / xr0Links
The Xr0 Verifier for C
☆178Updated 4 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
- 🥜 A Self-Compiling C Transpiler Targeting Human-Readable POSIX Shell☆468Updated 2 weeks ago
- Sandboxing for GNU Make has never been easier☆245Updated 2 years ago
- ☆293Updated last year
- xv6 OS☆242Updated last week
- Compiling C to FlipJump☆92Updated 7 months ago
- a tool for reinterpreting ELF executables and shared libraries☆330Updated 9 months ago
- A detour through the Linux dynamic linker☆209Updated last month
- Header-only library for asynchronous tasks in C☆268Updated last year
- A simple C coroutine library.☆227Updated last year
- Battery info program for x86-64 Linux laptops in 384 bytes of machine code☆60Updated last year
- My little WebAssembly interpreter☆74Updated this week
- ☆43Updated 5 months ago
- A repository that collects libc ABI files for multiple versions and a tool to combine them into one dataset.☆185Updated last week
- Set of macros that guard against buffer overflows. Based on C99 VLA feature.☆129Updated 2 years ago
- OpenBSD APIs ported to Linux userspace using SECCOMP BPF and Landlock LSM☆117Updated last year
- Linux system calls.☆215Updated 5 years ago
- Self contained, fully static llvm tools & libs☆351Updated 2 years ago
- An experimental modern general-purpose microkernel OS.☆380Updated last month
- ☆176Updated last year
- A mirror of https://git.sr.ht/~grego/sumtypes.h