Starred repositories
Lean 4 → production Rust generator: LCNF extraction, panic-free and allocation-free codegen, proof-graph analysis
Open-source AI agent harness in native Rust — GUI, CLI, headless, and webapp from one binary. Multi-provider, MCP, skills, plugins, agent teams.
Offline MMO private servers on Steam Deck. Free guides, Docker scripts & shell installers for classic MMOs. No subscription. No internet. Forever. Visibility: ✅ Public
FreeQ Core — public releases of the post-quantum overlay network. Development is private.
🌐 Your personal internet supercomputer. Fast, free and private.
4
Updated Jul 16, 2026
omo/lazycodex: The coding agent for tokenmaxxers;the one and only agent harness for complex codebases. For your Codex, for your OpenCode
A rust library for creating dungeons and dragons characters
O(1) neural network inference via precomputed lookup tables and KV-dispatch, built on uor-foundation.
🌐 Your personal internet supercomputer. Fast, free and private.
Internet Computer blockchain source: the client/replica software run by nodes
Applied Geometric Intelligence (AGI) - See papers for specifics
A javascript library that implements the Aleph semantic computer
Universal-Agent-Runtime-UAR is designed as a deterministic, event-driven runtime that aligns naturally with the UOR Foundation ecosystem. UAR provides the execution, orchestration, replay, and ob…
Self describing hashes - for future proofing
Reference implementation of UOR-ADDR — chain-agnostic canonical content addressing for agent-produced content.
ezkl is an engine for doing inference for deep learning models and other computational graphs in a zk-snark (ZKML). Use it from Python, Javascript, or the command line.
AgentLevy built with Universal Object Reference. Agent Levy is a Canonical content identity protocol for agentic commerce on XRPL — making multi-agent work cryptographically auditable from task neg…
[H] HyperspaceDB is a high-performance, vector database. It features 1-bit quantization, async replication, and native support for hierarchical datasets (Lorentz, Poincaré ball & Hybrid models).
Agent Native UNIX - The UNIX philosophy remixed for the age of AI