xr0-org / xr0Links
The Xr0 Verifier for C
☆180Updated last month
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☆238Updated 2 years ago
- ☆296Updated last year
- a tool for reinterpreting ELF executables and shared libraries☆320Updated 6 months ago
- A repository that collects libc ABI files for multiple versions and a tool to combine them into one dataset.☆181Updated last week
- Embedded Linker☆176Updated this week
- Set of macros that guard against buffer overflows. Based on C99 VLA feature.☆129Updated last year
- Header-only library for asynchronous tasks in C☆267Updated last year
- xv6 OS☆238Updated last month
- Battery info program for x86-64 Linux laptops in 384 bytes of machine code☆59Updated last year
- Compiling C to FlipJump☆89Updated 4 months ago
- A x86_64 Linux debugger 🐛🐛🐛☆235Updated last year
- An educational implementation of a modern compressor in Rust☆47Updated last year
- A hash array-mapped trie implementation in C☆294Updated last year
- A simple C coroutine library.☆227Updated last year
- bold: the bold linker☆322Updated 2 weeks ago
- A very fast and robust 64-bit PRNG with a 2^64 period.☆104Updated this week
- Fast RISC-V-based scripting backend for game engines☆261Updated 4 months ago
- 🥜 A Self-Compiling C Transpiler Targeting Human-Readable POSIX Shell☆459Updated 2 weeks ago
- ☆173Updated last year
- OpenBSD APIs ported to Linux userspace using SECCOMP BPF and Landlock LSM☆112Updated last year
- A small, portable, linear probing hash map☆142Updated 2 months ago
- a graphical C/C++ runtime editor☆185Updated last year
- A mirror of https://git.sr.ht/~grego/sumtypes.h☆76Updated 4 months ago
- ☆42Updated 2 months ago
- My little WebAssembly interpreter☆71Updated last week
- Actually Portable WebAssembly compiler toolchain for self-contained cross-platform binaries☆211Updated 8 months ago
- Fleur implements a Bloom Filter library in C that is fully compatible with DCSO's Go and python implementations.☆117Updated 2 years ago
- framebuffer user interface☆259Updated last week
- Portable C implementations of the AEGIS family of high-performance authenticated encryption algorithms.☆91Updated this week
- Tiny hash function in C☆134Updated 9 months ago