{"data":{"full_name":"nickgildea/z3_codegen","name":"z3_codegen","description":"A toy code generator (i.e. \"program synthesis\") using the Z3 solver","stars":35.0,"forks":8.0,"language":"C++","license":"Unlicense","archived":0.0,"subcategory":"c-cpp-boilerplate-generation","last_pushed_at":"2017-11-13T20:41:08+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":0.0,"adoption_score":7.0,"maturity_score":16.0,"community_score":17.0,"quality_score":40.0,"quality_tier":"emerging","risk_flags":"['stale_6m', 'no_package', 'no_dependents']"},"meta":{"timestamp":"2026-04-05T21:34:45.552712+00:00"}}