fabio-rovai / open-ontologies

Rust CLI and MCP server that plans, applies and rolls back changes to an OWL ontology, reporting blast radius and emitting checkable Lean 4 proofs.

ophub / amlogic-s9xxx-armbian

Builds Armbian Linux images for Amlogic, Rockchip, and Allwinner ARM devices, mainly TV boxes and SBCs.