Pinned Loading

1. UOR-Foundation/UOR-Framework UOR-Foundation/UOR-Framework Public

   Formalization of the UOR Framework as the https://uor.foundation/ model.

   Rust 21 17

2. F1 F1 Public

   Lean 4 research base: the 𝔽₁ square Spec ℤ ×_𝔽₁ Spec ℤ whose Hodge-index positivity is the Riemann Hypothesis (RH open).

   Lean 6 3

3. Hologram-Technologies/holospaces Hologram-Technologies/holospaces Public

   Holospaces is a workload control plane that treats the browser as a first-class compute substrate, alongside local and remote infrastructure.

   Rust 4

4. UOR-Foundation/uor-addr UOR-Foundation/uor-addr Public

   Reference implementation of UOR-ADDR — chain-agnostic canonical content addressing for agent-produced content.

   Rust 3 2

5. UOR-Foundation/prism UOR-Foundation/prism Public

   Universal coordinate system for information. Unlocking semantic web, open science and frontier technologies.

   Rust 15 5

6. openshift/oc-mirror openshift/oc-mirror Public

   Lifecycle manager for internet-disconnected OpenShift environments

   Go 119 114