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:
- Battery info program for x86-64 Linux laptops in 384 bytes of machine code☆60Updated last year
- Sandboxing for GNU Make has never been easier☆241Updated 2 years ago
- A x86_64 Linux debugger 🐛🐛🐛☆236Updated last year
- Compiling C to FlipJump☆91Updated 5 months ago
- 🥜 A Self-Compiling C Transpiler Targeting Human-Readable POSIX Shell☆466Updated last week
- ☆174Updated last year
- Linux system calls.☆216Updated 5 years ago
- My little WebAssembly interpreter☆73Updated 2 weeks ago
- A repository that collects libc ABI files for multiple versions and a tool to combine them into one dataset.☆183Updated last month
- xv6 OS☆240Updated 2 months ago
- ☆295Updated last year
- a tool for reinterpreting ELF executables and shared libraries☆326Updated 7 months ago
- Header-only library for asynchronous tasks in C☆268Updated last year
- VSCode LLVM Compiler Explorer☆229Updated last year
- A small, portable, linear probing hash map☆143Updated 3 months ago
- An experimental modern general-purpose microkernel OS.☆357Updated this week
- A mirror of https://git.sr.ht/~grego/sumtypes.h☆76Updated 5 months ago
- OpenBSD APIs ported to Linux userspace using SECCOMP BPF and Landlock LSM☆113Updated last year
- A simple C coroutine library.☆227Updated last year
- Cp1 / C+1 / C plus 1 Programming Language, a TypeScript for C☆74Updated last week
- 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☆215Updated 10 months ago
- Self contained, fully static llvm tools & libs☆351Updated 2 years ago
- A portable self-bootstrapping C compiler☆143Updated this week
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆69Updated 11 months ago
- A fast framework for writing baseline compiler back-ends in C++☆482Updated last week
- A second iteration of the DOS-inspired hobby OS.☆191Updated this week
- ☆43Updated 3 months ago
- C Intermediate Language☆147Updated last week
- Simple live calculator in tree-sitter + cranelift jit☆75Updated 7 months ago