The Xr0 Verifier for C
☆209Jul 1, 2026Updated 3 months ago
Alternatives and similar repositories for xr0
Users that are interested in xr0 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- DEFER macros in C☆13Jul 14, 2024Updated 2 years ago
- Safe(ish) C programming library☆406May 4, 2026Updated 5 months ago
- Following AUTOSAR guidelines can be easy and free!☆22Jan 16, 2024Updated 2 years ago
- ☆15Jan 20, 2024Updated 2 years ago
- DuckDB PCAP Reader Extension made in Rust☆14May 18, 2026Updated 5 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A modular web framework for C, inspired by kernel modules. Dynamically upload and compile C code at runtime to build REST APIs, WebSocket…☆209Feb 7, 2026Updated 8 months ago
- Implementation of the extism plugin system using wasmer for both web and native.☆15May 14, 2025Updated last year
- A minimal RISC-V RV32I disassembler☆56Jun 15, 2021Updated 5 years ago
- simple and efficient hashtable implementation for C, taken from musl's hsearch()☆21Feb 1, 2023Updated 3 years ago
- a minimal memory allocator in C☆104Dec 20, 2025Updated 10 months ago
- Welcome to the Mucc project!☆16Updated this week
- x86 assembler in 512 bytes of x86 machine code☆37Dec 1, 2019Updated 6 years ago
- Cake a C23 front end and transpiler written in C☆710Updated this week
- Fil-C: completely compatible memory safety for C and C++☆3,892Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆15Oct 2, 2025Updated last year
- (re)arrange and select fields on each line☆12Sep 15, 2025Updated last year
- A proof-of-concept smart pointer library in C☆22Dec 26, 2018Updated 7 years ago
- ☆227Oct 28, 2024Updated 2 years ago
- tiniest x86-64-linux emulator☆7,601Dec 10, 2025Updated 10 months ago
- ☆298Apr 19, 2024Updated 2 years ago
- Process-independent interface to Linux system calls☆96Oct 9, 2026Updated 3 weeks ago
- A modern fully featured C compiler.☆1,859Updated this week
- Columnar database on SSD NVMe☆15Apr 14, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A detour through the Linux dynamic linker☆559Jul 13, 2025Updated last year
- a small statically-linked linux system☆3,122Updated this week
- A graphical man page viewer with man page search built on OpenGL and mandoc libraries☆99Jul 10, 2024Updated 2 years ago
- Concurrency library for C (coroutines)☆1,384May 30, 2026Updated 5 months ago
- A small (~1000LoC) embeddable LISP interpreter☆13Feb 28, 2025Updated last year
- Making C Look ✨Pretty✨and Lua/Lisp/Python-esque☆642Feb 17, 2026Updated 8 months ago
- A simple C coroutine library.☆229Jan 24, 2024Updated 2 years ago
- A re-implementation of Karpathy's micrograd in C☆66Jun 21, 2026Updated 4 months ago
- A tiny, lightning fast event loop, utilizing single interface for epoll, kqueue, iocp.☆53Jun 17, 2026Updated 4 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Compiler for the C3 language☆5,919Updated this week
- Google Chrome TRex game as a standalone C library with C++, Rust & Python APIs☆19Oct 17, 2026Updated last week
- ☆31Jan 25, 2026Updated 9 months ago
- ☆22May 8, 2025Updated last year
- wak -- an awk implementation for toybox and standalone☆92Updated this week
- Generic and TypeSafe Programming In C☆71Jul 3, 2026Updated 3 months ago
- Visual tool to explore SQLite databases page-by-page, the way they're stored on disk and the way SQLite sees them.☆640Dec 9, 2024Updated last year