Liquid Fixpoint
/All repositories
Overview
HEALTH SCORE
Excellent
90out of 100
Strong maintainer coverage and development cadence. Security posture is the only remaining gap.
LIFECYCLE
Active
Consistent commits, responsive maintainers, regular releases, and healthy issue triage.
Health breakdown
Excellent(90/100)
Maintainer availability, known risks and supply chain posture, and whether the project is actively developed or appropriately stable.
Maintainer responsiveness
Median response time is 0 days.
Bus factor
5 active maintainers currently have merge rights.
Organization Diversity
Contributors span 13 organizations.
Project Achievements
Leaderboards
About
Liquid Fixpoint is a constraint solver and fixpoint engine used in Liquid Types verification systems. It provides an interface for solving Horn-like constraints with polymorphic refinement types, serving as a backend for the LiquidHaskell verifier.
First commit
Software value
$632K
License(s)
BSD-3-Clause
Data sources
Git
GitHub