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.

SheerSt / pokewilds

A Pokémon Gen 2-style alpha game and engine built with libGDX, featuring procedurally generated biomes and new field HMs.