F*

All repositories

Overview

HEALTH SCORE

Excellent*

Partial score (2/3 categories)

62out of 65

Strong maintainer coverage. Development cadence is the only remaining gap. Security & Supply Chain is unavailable, so weights were redistributed.

LIFECYCLE

Active

Consistent commits, responsive maintainers, regular releases, and healthy issue triage.

Display your project Health score on your GitHub page.

Health breakdown

Excellent*(62/65)

Maintainer availability, known risks and supply chain posture, and whether the project is actively developed or appropriately stable.

Maintainer responsiveness

Median response time is 1 day.

Bus factor

10 active maintainers currently have merge rights.

Organization Diversity

Contributors span 79 organizations.

Project Achievements

Leaderboards

About

F* is a general-purpose functional programming language with dependent types, aimed at program verification. It puts an emphasis on security, verification, and program correctness through its advanced type system and automated theorem proving capabilities.

First commit

April 2014

Software value

$11M