xr0-org / xr0Links
The Xr0 Verifier for C
☆179Updated 6 months ago
Alternatives and similar repositories for xr0
Users that are interested in xr0 are comparing it to the libraries listed below
Sorting:
- A detour through the Linux dynamic linker☆448Updated 3 months ago
- A x86_64 Linux debugger 🐛🐛🐛☆238Updated last year
- Compiling C to FlipJump☆94Updated 9 months ago
- Sandboxing for GNU Make has never been easier☆246Updated 3 years ago
- 🥜 A Self-Compiling C Transpiler Targeting Human-Readable POSIX Shell☆475Updated this week
- A simple C coroutine library.☆227Updated last year
- A repository that collects libc ABI files for multiple versions and a tool to combine them into one dataset.☆188Updated 3 weeks ago
- Battery info program for x86-64 Linux laptops in 384 bytes of machine code☆60Updated last year
- HPC research and demonstrations☆109Updated 2 weeks ago
- ☆295Updated last year
- ☆177Updated last year
- Minimal implementation of a time-sharing kernel on RISC-V, implemented in Zig, on top of OpenSBI☆184Updated last month
- Header-only library for asynchronous tasks in C☆268Updated last year
- a tool for reinterpreting ELF executables and shared libraries☆331Updated 11 months ago
- Minimalistic hypervisor built on KVM, coded with Zig.☆146Updated last year
- Set of macros that guard against buffer overflows. Based on C99 VLA feature.☆129Updated 2 years ago
- OpenBSD APIs ported to Linux userspace using SECCOMP BPF and Landlock LSM☆119Updated 2 years ago
- My little WebAssembly interpreter☆75Updated last week
- xv6 OS☆245Updated last month
- Linux system calls.☆216Updated 5 years ago
- Writing a hypervisor in 1,000 lines.☆265Updated last month
- C Intermediate Language☆154Updated 2 weeks ago
- Cp1 / C+1 / C plus 1 Programming Language, a TypeScript for C☆77Updated last month
- An experimental modern general-purpose microkernel OS.☆413Updated 3 weeks ago
- Actually Portable WebAssembly compiler toolchain for self-contained cross-platform binaries☆221Updated last year
- A modular web framework for C, inspired by kernel modules. Dynamically upload and compile C code at runtime to build REST APIs, WebSocket…☆204Updated 3 months ago
- Fast RISC-V-based scripting backend for game engines☆270Updated 4 months ago
- Self contained, fully static llvm tools & libs☆356Updated 2 years ago
- A small, portable, linear probing hash map☆144Updated 7 months ago
- A second iteration of the (to be) DOS-friendly hobby OS.☆203Updated last month