#
urf
Here are 6 public repositories matching this topic...
GitHub profile README and URF start-here map
-
Updated
Aug 31, 2026 - Python
Standalone IPP/AirPrint proxy: announces a printer on Bonjour, normalizes every page to A4 (photos centered at native size, US Letter without the usual downscale), and forwards jobs raw to a real printer's port 9100.
-
Updated
Jun 30, 2026 - Python
Trusted base of definitions, schemas, and verification artifacts for the Unified Rigidity Framework
reproducible-research information-theory logic mathematics verification graph-theory formal-methods invariants urf theoretical-computer-science formal-verification computational-complexity mathlib lean4 rigidity unified-rigidity-framework rigidity-theory core-axioms
-
Updated
Sep 5, 2026 - Python
Canonical URF exposition, archive, and release-facing documentation layer
documentation latex research archive graph-theory urf formal-verification mathematical-physics entropy-depth finite-model-theory
-
Updated
Aug 7, 2026 - Python
Flagship executable URF/Chronos implementation with verified build and test surface
reproducible-research information-theory verification graph-theory chronos urf reference-implementation formal-verification sat computational-complexity complexity-theory expanders lean4 rigidity unified-rigidity-framework rigidity-theory entropy-depth
-
Updated
Sep 10, 2026 - Python
Add this topic to your repo
To associate your repository with the urf topic, visit your repo's landing page and select "manage topics."