Pinned Loading

1. RamenOS RamenOS Public

   Evidence-gated Rust OS experiment for typed contracts, explicit capabilities, and agent-native computing.

   Rust 1

2. ries-rs ries-rs Public

   High-performance Rust reimplementation of Robert Munafo’s RIES (RILYBOT Inverse Equation Solver). Given any target number, it discovers elegant algebraic expressions and equations that evaluate exa…

   Rust 1

3. dotrepo dotrepo Public

   Trust-aware metadata protocol for software repositories, with a Rust toolchain, MCP server, and public index.

   Rust 1

4. pagedigest pagedigest Public

   One JSON manifest that tells automated clients which pages changed — v1 RC protocol with reference implementations.

   Python