{"data":{"full_name":"mkhaled87/pFaces-OmegaThreads","name":"pFaces-OmegaThreads","description":"OmegaThreads constructs automatically correct-bu-construction controllers for dynamical systems to satisfy Omega-regular specifications given as discrete parity automata (DPA) or linear temporal logic (LTL) formulae. It constructs a symbolic model of the system and combine it with the specification into a parity game. Winning the parity game results into a closed-loop controller that enforces the specification on the system. The controller is generated as a Mealy machine. A Python interface and a 2d simulator are provided.","stars":12.0,"forks":2.0,"language":"C++","license":"NOASSERTION","archived":0.0,"subcategory":"robotics-control-optimization","last_pushed_at":"2025-11-20T17:06:53+00:00","pypi_package":null,"npm_package":null,"downloads_monthly":0.0,"dependency_count":0.0,"commits_30d":null,"reverse_dep_count":0.0,"maintenance_score":6.0,"adoption_score":5.0,"maturity_score":9.0,"community_score":11.0,"quality_score":31.0,"quality_tier":"emerging","risk_flags":"['no_package', 'no_dependents']"},"meta":{"timestamp":"2026-04-06T19:48:29.461321+00:00"}}