Lean 4 hypervisor memory ownership model with machine-checked isolation proofs
☆107Oct 18, 2026Updated last 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:
- Rocq formalisation of the lambda calculus with partial substitutions☆58Oct 16, 2026Updated last week
- Companion code for the book The Self-Healing Pipeline: How I Taught My CI/CD Pipeline to Fix Itself at 2 AM☆78Oct 13, 2026Updated 2 weeks ago
- Verified dead store elimination in Lean 4 with a proved terminating liveness fixed point☆40Oct 16, 2026Updated last week
- ⚡ Fast local proxy checker for HTTP/HTTPS/SOCKS4/SOCKS5 — live results with country, quality & risk, offline GeoIP, saved pools. Free & o…☆67Oct 12, 2026Updated 2 weeks ago
- regex matching via derivatives + language equivalence☆30Oct 19, 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.
- Ultra-lightweight, 100% offline, open-source desktop PDF workstation for Windows. Built with Rust & Tauri.☆24Oct 22, 2026Updated last week
- ☆66Oct 10, 2026Updated 2 weeks ago
- OpenTelemetry plugins for every coding agent, in the Agent Plugins format — a marketplace that runs itself: open an issue, the repository…☆100Updated this week
- Test agent Skills, catch regressions, and improve with evidence. Evaluation CLI + MCP for Codex, Claude Code, and other agents; skilled-i…☆74Updated this week
- arm64 hypervisor for exception routing + stage 2 isolation☆25Oct 19, 2026Updated last week
- Professional WordPress cookie consent and privacy management plugin by Tuedion, powered by Orest Bida's CookieConsent.☆80Sep 25, 2026Updated last month
- 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…☆114Sep 9, 2026Updated last month
- Salesforce DX code review: Apex, LWC, Flows, security (CRUD/FLS), governors, and Bugbot.☆100Oct 10, 2026Updated 2 weeks ago
- Text-to-SQL access control: schema selection that gives the LLM only the tables the caller is allowed to read. Row-level-security-aware t…☆179Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆31Oct 13, 2026Updated 2 weeks ago
- Open source peer-to-peer encrypted chat app with no central server.☆94Oct 19, 2026Updated last week
- ☆52Updated this week
- This CLI scaffolds a fully working MCP server in seconds — with TypeScript or JavaScript, built-in tools, resources, and dev commands. Th…☆120Nov 20, 2025Updated 11 months ago
- CC BY-NC-SA 4.0☆47Oct 17, 2026Updated last week
- See the quota left on Claude Code, Codex, Cursor and Antigravity, launch the tool that has room and hand a task over. Windows tray, macOS…☆58Updated this week
- A true cross platform text expander with a sync engine across all your devices. Available, for Linux, macOS, Windows, iOS, and Android.☆54Updated this week
- Coordinate Claude, Codex and Cursor windows with shared tasks, acknowledgements, prechecks, parallel tests, source-bound proofs and indep…☆873Updated this week
- Self-hosted decision model (selfjev-4b) with a Jev-compatible API: Python SDK, server, fine-tuning and RLCD.☆59Oct 21, 2026Updated last week
- 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.
- Fast, native SSH client for macOS, Windows and Linux (Rust, GPUI, libghostty-vt)☆72Updated this week
- 一起点餐，一起造梗。双人协作餐点表情图工作室：选餐、写台词、共同确认、导出漫画。支持简体中文与英文，当前为演示原型。☆43Oct 14, 2026Updated 2 weeks ago
- Open-source AI desktop assistant — run local or remote LLMs with privacy-first design and zero setup required.☆77Updated this week
- Every follow and unfollow from Big Tech's CEOs, founders and funds, with the odds on what it means.☆22Updated this week
- Detecting, normalizing, classifying, and extracting scholarly identifiers in R.☆23Sep 29, 2026Updated last month
- An operating system for a language model that wants things.☆63Updated this week
- The lowest-overhead instant replay game capture for Windows: captured and encoded on the GPU, no overlay, no launcher, no bloat.☆22Updated this week
- LCM-X — Lossless Context Memory eXtension☆115Updated this week
- Agentic coding, in your control☆58Oct 22, 2026Updated last week
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Free hardcore tactical FPS & extraction shooter for Windows (Tarkov-like): destructible voxel city, smart AI squads, realistic ballistics…☆46Updated this week
- Open-source visual LLM IDE, model-agnostic, freely configurable.☆153Oct 11, 2026Updated 2 weeks ago
- 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 last month
- T-WLA: Bridging Slow Vision and Fast Touch☆61Oct 18, 2026Updated last week
- MCP server and design skill that grounds coding-agent UI work in real product screens. Two tools, npx-installable.☆78Oct 17, 2026Updated last week
- Claude Code skill: rewrite a task into a more ambitious version (altitude, depth, range)☆137Oct 14, 2026Updated 2 weeks ago
- An AI that administers Linux through typed, approval-gated, Ed25519-audited actions. The model selects the action; the daemon builds the …☆84Updated this week