xr0-org / xr0
The Xr0 Verifier for C
☆179Updated this week
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☆233Updated 2 years ago
- 🥜 A Self-Compiling C Transpiler Targeting Human-Readable POSIX Shell☆454Updated this week
- A x86_64 Linux debugger 🐛🐛🐛☆234Updated last year
- Compiling C to FlipJump☆87Updated 2 months ago
- Battery info program for x86-64 Linux laptops in 384 bytes of machine code☆59Updated 9 months ago
- Header-only library for asynchronous tasks in C☆266Updated last year
- ☆295Updated 11 months ago
- Set of macros that guard against buffer overflows. Based on C99 VLA feature.☆129Updated last year
- A small, portable, linear probing hash map☆141Updated 3 months ago
- OpenBSD APIs ported to Linux userspace using SECCOMP BPF and Landlock LSM☆110Updated last year
- A hash array-mapped trie implementation in C☆291Updated last year
- A repository that collects glibc .abilist files for every version and a tool to combine them into one dataset.☆171Updated last month
- a tool for reinterpreting ELF executables and shared libraries☆310Updated 4 months ago
- Inspect and dissect an ELF file with pretty formatting.☆103Updated last year
- VSCode LLVM Compiler Explorer☆229Updated 9 months ago
- A simple C coroutine library.☆226Updated last year
- ☆172Updated last year
- xv6 OS☆238Updated 2 weeks ago
- Patch Linux executables for compatibility with older glibc☆200Updated 4 months ago
- A portable self-bootstrapping C compiler☆134Updated last week
- A mirror of https://git.sr.ht/~grego/sumtypes.h☆76Updated 2 months ago
- A modular web framework for C, inspired by kernel modules. Dynamically upload and compile C code at runtime to build REST APIs, WebSocket…☆198Updated 3 months ago
- Translations of a simple C program to Rust.☆139Updated last year
- A pure C (-std=c89) implementation of Go channels, including blocking and non-blocking selects.☆447Updated last year
- Investigates optimizing 'wc', the Unix word count program☆254Updated 8 months ago
- Tiny hash function in C☆134Updated 7 months ago
- bold: the bold linker☆274Updated this week
- Self contained, fully static llvm tools & libs☆350Updated 2 years ago