xr0-org / xr0
The Xr0 Verifier for C
☆174Updated 3 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for xr0
- 🥜 A Self-Compiling C Transpiler Targeting Human-Readable POSIX Shell☆420Updated last week
- Battery info program for x86-64 Linux laptops in 384 bytes of machine code☆59Updated 5 months ago
- Sandboxing for GNU Make has never been easier☆226Updated 2 years ago
- A Borrow Checker and Memory Ownership System for C++20 (heavily inspired from Rust)☆202Updated 4 months ago
- OpenBSD APIs ported to Linux userspace using SECCOMP BPF and Landlock LSM☆100Updated last year
- a tool for reinterpreting ELF executables and shared libraries☆271Updated last week
- A x86_64 Linux debugger 🐛🐛🐛☆230Updated 9 months ago
- An online assembly editor and debugger for the x86-64 architecture☆101Updated this week
- ☆170Updated 11 months ago
- A repository that collects glibc .abilist files for every version and a tool to combine them into one dataset.☆167Updated last month
- A simple C coroutine library.☆226Updated 9 months ago
- Header-only library for asynchronous tasks in C☆264Updated 8 months ago
- Quick File Copy using QUIC☆147Updated this week
- A mirror of https://git.sr.ht/~grego/sumtypes.h☆75Updated 5 months ago
- ☆287Updated 7 months ago
- xv6 OS☆235Updated last month
- Modular and efficient approach to web development in C☆138Updated this week
- libreactor is a high performance, robust and secure, generic event-driven application framework for Linux☆82Updated 3 months ago
- Fast RISC-V-based scripting backend for game engines☆239Updated 3 months ago
- Patch Linux executables for compatibility with older glibc☆171Updated 3 weeks ago
- A hash array-mapped trie implementation in C☆284Updated 9 months ago
- Self contained, fully static llvm tools & libs☆338Updated last year
- A Lisp interpreter written fully in rust macros.☆267Updated 2 months ago
- Set of macros that guard against buffer overflows. Based on C99 VLA feature.☆129Updated last year
- LLVM - Deluge☆315Updated this week
- Actually Portable WebAssembly compiler toolchain for self-contained cross-platform binaries☆201Updated 2 months ago
- An educational implementation of a modern compressor in Rust☆46Updated last year
- Linux system calls.☆213Updated 5 years ago
- Translations of a simple C program to Rust.☆138Updated last year
- A pure C (-std=c89) implementation of Go channels, including blocking and non-blocking selects.☆434Updated 11 months ago