Fiat
/All repositories
Overview
HEALTH SCORE
Fair
61out of 100
Security posture drags the score down. Development cadence and maintainer coverage help keep it from falling further.
LIFECYCLE
Active
Consistent commits, responsive maintainers, regular releases, and healthy issue triage.
Health breakdown
Fair(61/100)
Maintainer availability, known risks and supply chain posture, and whether the project is actively developed or appropriately stable.
Maintainer responsiveness
No PRs or issues were opened in the review window, so response time could not be measured.
Bus factor
Only 1 active maintainer currently has merge rights.
Organization Diversity
Contributors span 4 organizations.
Project Achievements
Leaderboards
About
Fiat is a deductive synthesis framework developed at MIT that enables the derivation of correct-by-construction programs from high-level specifications. It focuses on automated generation of efficient implementations while providing formal guarantees about correctness.
First commit
Software value
$9.1M
License(s)
Other
Data sources
Git
GitHub