library for userspace drivers that need DMA buffers mapped through VFIO
☆25Jul 21, 2026Updated this week
Alternatives and similar repositories for up
Users that are interested in up are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- workbench for inspecting a typed fragment of C through parser output☆27Updated this week
- lexical structure inference for incomplete programs☆29Updated this week
- aarch64 EL2 hypervisor for QEMU virt that boots at EL2☆22Updated this week
- compiler for a minimal HolyC dialect☆32Updated this week
- OCaml companion for Lotus that provides a typed client for the Lotus local API☆23Jul 2, 2026Updated 2 weeks 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 simple unikernel which provides a search engine from an emails archive☆15Apr 11, 2026Updated 3 months ago
- Tools for migrating away from Lwt☆15Apr 27, 2026Updated 2 months ago
- A tool for managing inline review comments embedded in source code☆15May 18, 2026Updated 2 months ago
- AMD Type-2 Hypervisor (Augmented)☆22Feb 23, 2026Updated 4 months ago
- Performance-first HTTP/2 implementation in OCaml☆22Nov 26, 2025Updated 7 months ago
- Command-line and Emacs Calendar Client☆25Updated this week
- A TCP/IP implementation in pure OCaml☆18Updated this week
- ☆17Mar 17, 2026Updated 4 months ago
- My giant OxCaml monorepo☆26Apr 2, 2026Updated 3 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A little KV store implementation in OCaml to practice DB systems things☆34Jan 21, 2026Updated 6 months ago
- ☆21Updated this week
- 🐫🎮 OCaml Game Engine☆45Mar 20, 2025Updated last year
- Direct-style parser combinator library for OCaml 5☆54Apr 15, 2026Updated 3 months ago
- A library for building dynamic terminal apps, using bonsai☆211Jul 10, 2026Updated last week
- OCaml notebooks as a WebComponent☆56May 4, 2026Updated 2 months ago
- A Rust verification tool☆462Updated this week
- KernelScript is a modern, type-safe, domain-specific programming language for eBPF-centric kernel customization☆501Jun 26, 2026Updated 3 weeks ago
- Programming Languages Zoo☆1,592Jun 18, 2024Updated 2 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Advanced usermode anti-anti-debugger. Forked from https://bitbucket.org/NtQuery/scyllahide☆4,233Jun 4, 2024Updated 2 years ago
- Box3D is a 3D physics engine for games☆5,428Updated this week
- A new bootable USB solution.☆78,139Jun 29, 2026Updated 3 weeks ago
- For developers, who are building real-time data-driven applications, Redis is the preferred, fastest, and most feature-rich cache, data s…☆75,607Updated this week
- Dear ImGui: Bloat-free Graphical User interface for C++ with minimal dependencies☆74,901Updated this week
- Port of OpenAI's Whisper model in C/C++☆52,010Jul 11, 2026Updated last week
- JSON for Modern C++☆50,189Updated this week
- Git Source Code Mirror - This is a publish-only repository but pull requests can be turned into patches to the mailing list via GitGitGad…☆62,124Updated this week
- The new Windows Terminal and the original Windows console host, all in the same place!☆104,323Updated this week
- 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.
- An open-source user mode debugger for Windows. Optimized for reverse engineering and malware analysis.☆48,944Updated this week
- Protocol Buffers - Google's data interchange format☆71,604Updated this week
- OBS Studio - Free and open source software for live streaming and screen recording☆74,003Updated this week
- Build cross-platform desktop apps with JavaScript, HTML, and CSS☆122,122Updated this week
- Language Savant. If your repository's language is being reported incorrectly, send us a pull request!☆13,597Updated this week
- An agent-managed museum exhibit, built in Rust with Gajae-Code / LazyCodex — developed and maintained with no human intervention.☆194,848Jun 26, 2026Updated 3 weeks ago
- A new type of shell☆40,063Updated this week