VT-x hypervisor with an OCaml control plane for EPT page shadowing, hooks and instruction relocation
☆30Oct 26, 2026Updated this week
Alternatives and similar repositories for remus
Users that are interested in remus are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Lean 4 hypervisor memory ownership model with machine-checked isolation proofs☆112Oct 18, 2026Updated last week
- Rocq formalisation of the lambda calculus with partial substitutions☆58Oct 16, 2026Updated 2 weeks ago
- Verified dead store elimination in Lean 4 with a proved terminating liveness fixed point☆40Oct 16, 2026Updated 2 weeks ago
- ☆66Oct 10, 2026Updated 2 weeks ago
- skilled: open-source agent skill evaluation CLI and MCP server for Codex and Claude Code. Test skills, detect regressions, and improve wi…☆74Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ⚡ 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
- Companion code for the book The Self-Healing Pipeline: How I Taught My CI/CD Pipeline to Fix Itself at 2 AM☆81Oct 13, 2026Updated 2 weeks ago
- Salesforce DX code review: Apex, LWC, Flows, security (CRUD/FLS), governors, and Bugbot.☆101Oct 10, 2026Updated 2 weeks ago
- regex matching via derivatives + language equivalence☆31Oct 19, 2026Updated last week
- Synaplan Desktop — pair a computer with your Synaplan workspace and run Agent Skills locally (Windows, macOS, Linux)☆216Updated this week
- OpenTelemetry plugins for every coding agent, in the Agent Plugins format — a marketplace that runs itself: open an issue, the repository…☆102Updated this week
- Ultra-lightweight, 100% offline, open-source desktop PDF workstation for Windows. Built with Rust & Tauri.☆24Oct 22, 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…☆116Sep 9, 2026Updated last month
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 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
- arm64 hypervisor for exception routing + stage 2 isolation☆25Oct 19, 2026Updated last week
- Open source peer-to-peer encrypted chat app with no central server.☆94Oct 19, 2026Updated last week
- ☆52Oct 23, 2026Updated last week
- ☆31Oct 13, 2026Updated 2 weeks ago
- 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
- Synaplan AI integration into nextcloud for RAG powered discussions, translations and summaries. Run your own AI platform next to your nex…☆254Updated 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
- 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.
- MCP server and design skill that grounds coding-agent UI work in real product screens. Two tools, npx-installable.☆87Oct 17, 2026Updated last week
- Open source memory infrastructure for AI and humans. Turn scattered knowledge into AI-ready context across Claude, Cursor, ChatGPT, and a…☆49Updated this 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…☆71Updated this week
- CC BY-NC-SA 4.0☆47Oct 17, 2026Updated last week
- A clean architecture template for Flutter App, which consists of some pre-installed packages, widgets and files.☆20Sep 13, 2026Updated last month
- Aperod (APRO) — Institutional-grade privacy Layer-1 built in Go. RingCT & MLSAG engine for confidential P2P payments, Telegram Mini-Apps …☆22Oct 21, 2026Updated last week
- Fast, native SSH client for macOS, Windows and Linux (Rust, GPUI, libghostty-vt)☆93Updated this week
- Open-source AI desktop assistant — run local or remote LLMs with privacy-first design and zero setup required.☆100Updated this week
- The FreeBSD src tree publish-only repository. Experimenting with 'simple' pull requests....☆12Updated 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.
- A framework for building reliable and modular LLM-enabled applications.☆21Jul 31, 2026Updated 2 months ago
- Crypto Flash Sender Software is Packed With Advanced Functionalities Engineered For Optimal Performance And Free Demostration user Experi…☆43Oct 22, 2026Updated last week
- Open-source AI security verification for model artifacts, live endpoints, MCP servers, and recorded agent traces. Reproducible evidence f…☆287Updated this week
- Find out everything there is to know about your hardware.☆15Oct 17, 2026Updated last week
- Human-controlled roadmaps for Tau Ceti, an AIs-welcome Lean library downstream of Mathlib.☆46Updated this week
- Xen Test Framework☆10Oct 30, 2025Updated last year
- Lume é uma plataforma web de gestão e leitura de PDF e DOCX, com pipeline de ingestão que gera capas, extrai texto e sumário via serviço …☆26Updated this week