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.

logisim-evolution / logisim-evolution

Educational Java application for designing, simulating, and timing-diagramming digital logic circuits, with VHDL and Verilog support.

opentibiabr / otclient

An alternative Tibia game client for OTServ servers, written in C++20 with its interface and game logic scripted in Lua.