xr0-org / xr0Links
The Xr0 Verifier for C
☆178Updated 6 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☆246Updated 2 years ago
- A repository that collects libc ABI files for multiple versions and a tool to combine them into one dataset.☆188Updated 3 weeks ago
- 🥜 A Self-Compiling C Transpiler Targeting Human-Readable POSIX Shell☆473Updated last week
- Compiling C to FlipJump☆94Updated 9 months ago
- A x86_64 Linux debugger 🐛🐛🐛☆237Updated last year
- ☆294Updated last year
- A detour through the Linux dynamic linker☆217Updated 3 months ago
- Battery info program for x86-64 Linux laptops in 384 bytes of machine code☆60Updated last year
- a tool for reinterpreting ELF executables and shared libraries☆330Updated 11 months ago
- HPC research and demonstrations☆101Updated this week
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆66Updated last year
- ☆44Updated 6 months ago
- Writing a hypervisor in 1,000 lines.☆255Updated last month
- ☆177Updated last year
- libreactor is a high performance, robust and secure, generic event-driven application framework for Linux☆105Updated 6 months ago
- Set of macros that guard against buffer overflows. Based on C99 VLA feature.☆129Updated 2 years ago
- Actually Portable WebAssembly compiler toolchain for self-contained cross-platform binaries☆219Updated last year
- Self contained, fully static llvm tools & libs☆352Updated 2 years ago
- A simple C coroutine library.☆227Updated last year
- A fast framework for writing baseline compiler back-ends in C++☆581Updated 2 weeks ago
- xv6 OS☆246Updated 3 weeks ago
- A small, portable, linear probing hash map☆144Updated 6 months ago
- VSCode LLVM Compiler Explorer☆232Updated last year
- Header-only library for asynchronous tasks in C☆269Updated last year
- Investigates optimizing 'wc', the Unix word count program☆257Updated last year
- Minimalistic hypervisor built on KVM, coded with Zig.☆145Updated last year
- Minimal implementation of a time-sharing kernel on RISC-V, implemented in Zig, on top of OpenSBI☆176Updated last month
- Tiny hash function in C☆144Updated last year
- A mirror of https://git.sr.ht/~grego/sumtypes.h☆75Updated 9 months ago
- My little WebAssembly interpreter☆75Updated last month