xr0-org / xr0Links
The Xr0 Verifier for C
☆179Updated 2 months ago
Alternatives and similar repositories for xr0
Users that are interested in xr0 are comparing it to the libraries listed below
Sorting:
- Sandboxing for GNU Make has never been easier☆239Updated 2 years ago
- ☆296Updated last year
- A repository that collects libc ABI files for multiple versions and a tool to combine them into one dataset.☆183Updated 3 weeks ago
- a tool for reinterpreting ELF executables and shared libraries☆325Updated 7 months ago
- 🥜 A Self-Compiling C Transpiler Targeting Human-Readable POSIX Shell☆461Updated this week
- Rust-like Traits & A Borrow Checker and Memory Ownership System for C++20 (heavily inspired from Rust)☆238Updated 6 months ago
- My little WebAssembly interpreter☆72Updated 2 weeks ago
- Linux system calls.☆215Updated 5 years ago
- Battery info program for x86-64 Linux laptops in 384 bytes of machine code☆60Updated last year
- VSCode LLVM Compiler Explorer☆228Updated last year
- A small, portable, linear probing hash map☆142Updated 2 months ago
- A x86_64 Linux debugger 🐛🐛🐛☆237Updated last year
- A simple C coroutine library.☆227Updated last year
- framebuffer user interface☆275Updated last month
- Header-only library for asynchronous tasks in C☆268Updated last year
- An educational implementation of a modern compressor in Rust☆47Updated last year
- Compiling C to FlipJump☆90Updated 5 months ago
- bold: the bold linker☆327Updated last month
- Portable C implementations of the AEGIS family of high-performance authenticated encryption algorithms.☆92Updated 2 weeks ago
- ☆174Updated last year
- Set of macros that guard against buffer overflows. Based on C99 VLA feature.☆129Updated 2 years ago
- C23 Checked Arithmetic☆133Updated 6 months ago
- A hash array-mapped trie implementation in C☆299Updated last year
- Self contained, fully static llvm tools & libs☆351Updated 2 years ago
- Minimalistic hypervisor built on KVM, coded with Zig.☆142Updated 10 months ago
- xv6 OS☆239Updated last month
- Actually Portable WebAssembly compiler toolchain for self-contained cross-platform binaries☆213Updated 9 months ago
- A fast framework for writing baseline compiler back-ends in C++☆464Updated 2 weeks ago
- Fast RISC-V-based scripting backend for game engines☆263Updated this week
- A mirror of https://git.sr.ht/~grego/sumtypes.h☆76Updated 5 months ago