aarch64 EL2 hypervisor for QEMU virt that boots at EL2
☆22Jul 21, 2026Updated this week
Alternatives and similar repositories for ariel
Users that are interested in ariel are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- library for userspace drivers that need DMA buffers mapped through VFIO☆25Updated this week
- workbench for inspecting a typed fragment of C through parser output☆27Updated this week
- lexical structure inference for incomplete programs☆29Updated 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
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A tool for managing inline review comments embedded in source code☆15May 18, 2026Updated 2 months ago
- Simple AST for reverse engineering, purely meant as an example.☆19Dec 10, 2025Updated 7 months ago
- ☆18Feb 18, 2026Updated 5 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
- A little KV store implementation in OCaml to practice DB systems things☆34Jan 21, 2026Updated 6 months ago
- ☆21Updated this week
- 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 derivation explorer and logger for menhir parser☆26Dec 13, 2025Updated 7 months ago
- Direct-style parser combinator library for OCaml 5☆54Apr 15, 2026Updated 3 months ago
- OCaml notebooks as a WebComponent☆56May 4, 2026Updated 2 months ago
- KernelScript is a modern, type-safe, domain-specific programming language for eBPF-centric kernel customization☆501Jun 26, 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
- A command line tool and library for transferring data with URL syntax, supporting DICT, FILE, FTP, FTPS, GOPHER, GOPHERS, HTTP, HTTPS, IM…☆42,435Updated 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
- Protocol Buffers - Google's data interchange format☆71,604Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 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
- C++ based gRPC (C++, Python, Ruby, Objective-C, PHP, C#)☆45,194Updated this week
- ClickHouse® is a real-time analytics database management system☆48,764Updated this week
- An Open Source Machine Learning Framework for Everyone☆196,436Updated this week
- Emscripten: An LLVM-to-WebAssembly Compiler☆27,518Updated this week
- Embedded graphics library to create beautiful UIs for any MCU, MPU and display type.☆24,155Updated this week
- This repository is a mirror of https://git.openwrt.org/openwrt/openwrt.git It is for reference only and is not active for check-ins. We …☆27,615Updated this week
- 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.
- 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
- This project aims to enhance the working environment on Windows☆33,366Jul 6, 2026Updated 2 weeks ago
- Empowering everyone to build reliable and efficient software.☆114,751Updated this week
- KeePassXC is a cross-platform community-driven port of the Windows application “KeePass Password Safe”.☆28,081Jul 11, 2026Updated last week
- An open-source C++ library developed and used at Facebook.☆30,469Updated this week
- Fast C++ logging library.☆29,226Jul 11, 2026Updated last week
- Official source code of FreeCAD, a free and opensource multiplatform 3D parametric modeler.☆32,264Updated this week