Lean 4 hypervisor memory ownership model with machine-checked isolation proofs
☆44Oct 18, 2026Updated this week
Alternatives and similar repositories for romulus
Users that are interested in romulus are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆20Oct 10, 2026Updated last week
- LCM-X — Lossless Context Memory eXtension☆85Updated this week
- Fast, native SSH client for macOS, Windows and Linux (Rust, GPUI, libghostty-vt)☆56Updated this week
- Open-source AI desktop assistant — run local or remote LLMs with privacy-first design and zero setup required.☆65Updated this week
- ☆66Oct 10, 2026Updated last 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.
- Open-source visual LLM IDE, model-agnostic, freely configurable.☆136Oct 11, 2026Updated last week
- Opensource PaaS. Manage applications and agents stack from one place, from deploy to monitoring.☆193Updated this week
- Claude Code skill: rewrite a task into a more ambitious version (altitude, depth, range)☆123Oct 14, 2026Updated last week
- Your dashboard is data. Any AI can build it; any human can edit it. A protocol + runtime for agent-composable dashboards — layout-as-data…☆24Sep 26, 2026Updated 3 weeks ago
- Messages between AI coding sessions in different vendors' clients, such as Claude Code and Codex. Local, open source, no lead agent. http…☆165Updated this week
- Open-source AI security verification for model artifacts, live endpoints, MCP servers, and recorded agent traces. Reproducible evidence f…☆252Updated this week
- MCP server and design skill that grounds coding-agent UI work in real product screens. Two tools, npx-installable.☆70Updated this week
- Hyprland-like tiling window manager for macOS: AeroSpace fork with dwindle layout, bezier animations, rounded corners, wallpaper colors,…☆139Updated this week
- 一起点餐，一起造梗。双人协作餐点表情图工作室 ：选餐、写台词、共同确认、导出漫画。支持简体中文与英文，当前为演示原型。☆39Oct 14, 2026Updated last 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.
- A live, hand-illustrated collage of the birds outside your window — named by ear. A standalone Belkins build of BirdNET-Pi (CC-BY-NC-SA-4…☆108Sep 9, 2026Updated last month
- Screenshot testing for Compose Multiplatform and Android previews. One annotation, no test code, no emulator☆363Sep 17, 2026Updated last month
- BCD: Windows games on iPhone and iPad. Steam and GOG built in.☆308Updated this week
- Mastering Poker with CFR variants: Building an AI for 6-Player No-Limit Texas Hold’em☆144Updated this week
- Tools to recover, extract and decrypt Phantom wallets☆41May 24, 2025Updated last year
- Provide quick access to useful actions by adding context menus to your iOS app.☆18Dec 24, 2025Updated 9 months ago
- Implements a machine learning-based SMS spam detection system. It classifies incoming text messages as Spam or Ham (Not Spam) using Natur…☆25Dec 24, 2025Updated 9 months ago
- Zero-leak online detection of LLM decoding corruption and Free Web Search for your AI agents! Catch repetition loops, language drift and …☆102Sep 21, 2026Updated last month
- Vibe code in anywhere with consistency☆14Aug 10, 2026Updated 2 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.
- ☆44Sep 15, 2026Updated last month
- ⚡ The fastest open-source AI gateway — one Rust binary with a built-in console to route, secure, budget and observe every LLM call across…☆148Updated this week
- Production-grade SEO + GEO content factory for Claude Code — research, write, fact-check, optimize, publish to WordPress, monitor. Battle…☆49Aug 17, 2026Updated 2 months ago
- AI-powered Ethereum crypto trading bot using ChatGPT for automated DeFi strategies, arbitrage, and passive income generation.☆20Jan 12, 2026Updated 9 months ago
- Open Source Reviews Curated by GitHub Users☆13Nov 18, 2025Updated 11 months ago
- Focuses on detecting spam messages in SMS text using Natural Language Processing (NLP) and Machine Learning techniques. It leverages text…☆27Jan 5, 2026Updated 9 months ago
- A true cross platform text expander with a sync engine across all your devices. Available, for Linux, macOS, Windows, iOS, and Android.☆57Updated this week
- Self hosted PaaS solution☆289Updated this week
- A free, open-source alternative to Burp Suite: an intercepting proxy and web app security testing suite with Repeater, Intruder, Collabor…☆439Updated 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.
- The FreeBSD src tree publish-only repository. Experimenting with 'simple' pull requests....☆11Oct 14, 2026Updated last week
- Made for listening, not logging in. Levyra is an open-source music player for Android and Windows, bringing music discovery, synced lyric…☆1,172Updated this week
- NOVA Microhypervisor☆12Jul 1, 2021Updated 5 years ago
- Xen Test Framework☆10Oct 30, 2025Updated 11 months ago
- BatchedWallet is a simple example implementation of an ERC-4337-compliant smart wallet.☆14Dec 11, 2023Updated 2 years ago
- ☆14Jul 31, 2025Updated last year
- 🍒 Rust - Experimental port of Rust to CHERI architectures☆15Updated this week