xr0-org / xr0
The Xr0 Verifier for C
☆180Updated 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☆238Updated 2 years ago
- A repository that collects glibc .abilist files for every version and a tool to combine them into one dataset.☆178Updated 2 months ago
- Compiling C to FlipJump☆87Updated 3 months ago
- a tool for reinterpreting ELF executables and shared libraries☆317Updated 5 months ago
- A simple C coroutine library.☆227Updated last year
- ☆173Updated last year
- ☆296Updated last year
- 🥜 A Self-Compiling C Transpiler Targeting Human-Readable POSIX Shell☆457Updated this week
- Tiny hash function in C☆134Updated 8 months ago
- Header-only library for asynchronous tasks in C☆265Updated last year
- Battery info program for x86-64 Linux laptops in 384 bytes of machine code☆59Updated 10 months ago
- Embedded Linker☆136Updated this week
- Self contained, fully static llvm tools & libs☆349Updated 2 years ago
- bold: the bold linker☆278Updated 3 weeks ago
- xv6 OS☆237Updated last month
- A mirror of https://git.sr.ht/~grego/sumtypes.h☆76Updated 3 months ago
- An educational implementation of a modern compressor in Rust☆47Updated last year
- A high-throughput parser for the Zig programming language.☆84Updated this week
- Portable C implementations of the AEGIS family of high-performance authenticated encryption algorithms.☆84Updated last month
- rust wrapper for linux kernel library☆46Updated 2 years ago
- C23 Checked Arithmetic☆124Updated 4 months ago
- ☆42Updated 3 weeks ago
- Pair your compilers up at The ABI Cafe!☆247Updated 9 months ago
- OpenBSD APIs ported to Linux userspace using SECCOMP BPF and Landlock LSM☆110Updated last year
- Fast RISC-V-based scripting backend for game engines☆258Updated 2 months ago
- State of the art for unikernels☆213Updated 11 months ago
- Set of macros that guard against buffer overflows. Based on C99 VLA feature.☆129Updated last year
- A x86_64 Linux debugger 🐛🐛🐛☆234Updated last year
- Linux system calls.☆213Updated 5 years ago
- A small, portable, linear probing hash map☆142Updated 3 weeks ago