remnient / romulus
Lean 4 hypervisor memory ownership model with machine-checked isolation proofs
remnient / romulus
Countly / countly-server
Countly is a privacy-first, AI-powered analytics and engagement platform for understanding and optimizing customer journeys across digital applications, from desktop and mobile to IoT and connected environments.
Jia-Ethan / codex-keysmith
Versioned Codex instruction deployment with preview, ownership manifests, hook isolation, scenario evaluation, and recovery.
Gimanh / taskview-community
TaskView is a self-hosted project and task management platform focused on clarity, ownership, and control. TaskView is built for teams that want a transparent, self-hosted alternative to SaaS task managers.
Ashmmmm / crockTail
crockTail is a passive OSINT (Open Source Intelligence) reconnaissance tool. Given a target domain, it aggregates publicly available information — DNS records, IP/ASN ownership, SSL/TLS certificate details, and domain registration data — into a single consolidated report.
suitenumerique / docs
Docs is an open-source text editor: web-native, made for real-time collaboration, cleanly structured documents and sub-documents with full ownership of your data. Built to scale with Django and React.
marionettejs / marionette
A JavaScript library for structured interfaces, with explicit ownership and lifecycle. Built for agent-led development. Canonical Marionette repository; v4 history is preserved on the v4 branch.
cordx56 / rustowl
Visualize Ownership and Lifetimes in Rust
linuxboot / heads
A minimal Linux that runs as a coreboot or LinuxBoot(UEFI's DXE replacement) ROM payload to provide a secure, flexible boot environment for laptops, workstations and servers.
Chevron7Locked / kima-hub
Kima Hub is built for music lovers who want the convenience of streaming services without sacrificing ownership of their library. Point it at your music collection, and Kima handles the rest: artist discovery, personalized playlists, podcast subscriptions, and seamless integration with tools you already use like Lidarr and Audiobookshelf.
3338902669-ops / agent-orchestra
Agents can work. They cannot declare success. A governed coordination protocol for multi-agent AI work: eight contracts (task, resource, ownership, handoff, verification, evidence, approval, recovery) enforced in code, plus a reproducible conformance benchmark. Apache-2.0 code, CC BY 4.0 specification, zero dependencies, Node 18+.
Sahil-SS9 / hermes-project-stewardship
Durable project ownership for Hermes agent fleets: verified cycles, bounded initiatives, explicit autonomy policy.
crabbuild / cellule
Cellule: a Rust framework for durable SQLite-backed Cells with fenced ownership and exact recovery.
rlshaw-ml / BlastLoop
Structure-first operating process for AI coding agents: Blast / Mid / Inner build altitudes with clear ownership, then T1 structural, T2 bug/ops, T3 adversarial quality gates.
Tetusa1 / DoneGate
Fail-closed completion validation and path ownership for coding agents.
weavefoundry / weavec
A C compiler with inferred ownership and borrow checking for Rust-style memory safety.
wavect / semaprax
The AI agent-native systems programming language: Meaning in. Verified machine code out. All target OS, memory managed through Ownership & fully interoperable with existing ecosystems & object-oriented AI Agents with payment capability.
Sharkord / sharkord
Lightweight, self-hosted, open-source chat server with voice, video, text, and screen sharing. Built for small groups who want privacy, simplicity, and full control over their data.