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:
- ☆15Jan 20, 2024Updated 2 years ago
- Visualize binary files☆134Mar 24, 2026Updated 6 months ago
- x86 assembler in 512 bytes of x86 machine code☆37Dec 1, 2019Updated 6 years ago
- DEFER macros in C☆13Jul 14, 2024Updated 2 years ago
- Safe(ish) C programming library☆406May 4, 2026Updated 5 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Columnar database on SSD NVMe☆15Apr 14, 2021Updated 5 years ago
- Easy-to-use Sigma proofs in C using libsodium.☆18Feb 26, 2026Updated 7 months ago
- ☆298Apr 19, 2024Updated 2 years ago
- Fact ⇒ domain inference database☆22Aug 5, 2017Updated 9 years ago
- A simple C coroutine library.☆229Jan 24, 2024Updated 2 years ago
- A modern fully featured C compiler.☆1,845Oct 2, 2026Updated last week
- A detour through the Linux dynamic linker☆557Jul 13, 2025Updated last year
- Fil-C: completely compatible memory safety for C and C++☆3,871Updated this week
- A tiny, lightning fast event loop, utilizing single interface for epoll, kqueue, iocp.☆53Jun 17, 2026Updated 3 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.
- A deployment controller for anything 🚀☆14Jul 1, 2026Updated 3 months ago
- repl / scripting language / namespaced command line aliases☆73Sep 24, 2025Updated last year
- Eclipse iceoryx2™ - true zero-copy inter-process-communication in pure Rust☆62Updated this week
- A graphical man page viewer with man page search built on OpenGL and mandoc libraries☆98Jul 10, 2024Updated 2 years ago
- ☆31Jan 25, 2026Updated 8 months ago
- A Lua implementation of the Least Common Subsequence and diff☆15Jun 5, 2012Updated 14 years ago
- LD_PRELOADable library for exploring the glibc heap☆107Mar 6, 2025Updated last year
- Header-only library for C99 that implements the most important classes from GLib: GArray, GHashTable, GList and GString.☆94Apr 13, 2023Updated 3 years ago
- Mbed Linux OS (mbl) main repository & OpenEmbedded layers - Mbed Linux OS has been deprecated as a product in the Pelion portfolio. It i…☆28Feb 10, 2020Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- a small statically-linked linux system☆3,115Jun 9, 2026Updated 4 months ago
- tiniest x86-64-linux emulator☆7,591Dec 10, 2025Updated 10 months ago
- One cast to rule them all☆18May 16, 2026Updated 4 months ago
- Adapted OS for e-ink tablets - allows to use work-related apps with no harm for eyes☆11May 17, 2020Updated 6 years ago
- rust bindings for blender via extism☆17Feb 3, 2026Updated 8 months ago
- ☆16Dec 20, 2021Updated 4 years ago
- Visual tool to explore SQLite databases page-by-page, the way they're stored on disk and the way SQLite sees them.☆638Dec 9, 2024Updated last year
- The CybOS operating system☆12Jul 9, 2018Updated 8 years ago
- A small compiler for the Prospero Challenge in Constructive Solid Geometry☆11Nov 28, 2025Updated 10 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆12Mar 22, 2024Updated 2 years ago
- A simple and elegant ray tracer.☆13Jun 17, 2024Updated 2 years ago
- memflow I/O primitives☆82Apr 26, 2025Updated last year
- Helps analyze goroutines. Inspired by TDA for Java and goroutine-inspect for golang.☆142Feb 18, 2025Updated last year
- Source code for the original AT&T UNIX troff(1), circa 1977.☆12May 25, 2019Updated 7 years ago
- Bready header-only libraries.☆11Apr 21, 2025Updated last year
- Docker in 600 lines of bash using proot☆17Oct 9, 2020Updated 6 years ago