xr0-org / xr0
The Xr0 Verifier for C
☆177Updated 3 weeks ago
Alternatives and similar repositories for xr0:
Users that are interested in xr0 are comparing it to the libraries listed below
- ☆293Updated 8 months ago
- Battery info program for x86-64 Linux laptops in 384 bytes of machine code☆59Updated 7 months ago
- Sandboxing for GNU Make has never been easier☆229Updated 2 years ago
- libreactor is a high performance, robust and secure, generic event-driven application framework for Linux☆84Updated 5 months ago
- xv6 OS☆238Updated last month
- A small, portable, linear probing hash map☆142Updated last month
- 🥜 A Self-Compiling C Transpiler Targeting Human-Readable POSIX Shell☆432Updated this week
- A x86_64 Linux debugger 🐛🐛🐛☆234Updated 11 months ago
- A simple C coroutine library.☆225Updated 11 months ago
- a tool for reinterpreting ELF executables and shared libraries☆306Updated 2 months ago
- OpenBSD APIs ported to Linux userspace using SECCOMP BPF and Landlock LSM☆105Updated last year
- Set of macros that guard against buffer overflows. Based on C99 VLA feature.☆129Updated last year
- Patch Linux executables for compatibility with older glibc☆187Updated 2 months ago
- A repository that collects glibc .abilist files for every version and a tool to combine them into one dataset.☆168Updated 3 months ago
- ☆172Updated last year
- A mirror of https://git.sr.ht/~grego/sumtypes.h☆76Updated this week
- Fleur implements a Bloom Filter library in C that is fully compatible with DCSO's Go and python implementations.☆118Updated last year
- Fast RISC-V-based scripting backend for game engines☆246Updated 3 weeks ago
- Inspect and dissect an ELF file with pretty formatting.☆99Updated 10 months ago
- Header-only library for asynchronous tasks in C☆265Updated 10 months ago
- A hash array-mapped trie implementation in C☆286Updated 11 months ago
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆63Updated 5 months ago
- Bertie TLS 1.3 Implementation☆114Updated this week
- A portable self-bootstrapping C compiler☆126Updated this week
- An educational implementation of a modern compressor in Rust☆47Updated last year
- Cake a C23 front end and transpiler written in C☆567Updated 2 weeks ago
- Linux system calls.☆210Updated 5 years ago
- Self contained, fully static llvm tools & libs☆346Updated last year
- rust wrapper for linux kernel library☆46Updated 2 years ago
- Zig-based Hypervisor☆135Updated 5 months ago