FStarLang/FStar

FStar

✅ Recently maintained

A Proof-oriented Programming Language

3,132Stars
267Forks
+37-day stars

F* · Apache-2.0 · Last push 2026-11-02

Official repository & installation ↗
programming-languageverificationdependent-typessmttheorem-provingproof-assistantocamlf-sharpc-languagefstar

GitValue · Value evidence

Unscored · Evidence coverage 0%

Provisional rubric; documentation and runtime testing are separate. Missing evidence does not imply low value.

Star history

2025-09-292026-11-02
View historical data
DateStars
2026-10-043,108
2026-10-053,108
2026-10-063,108
2026-10-073,108
2026-10-083,109
2026-10-093,111
2026-10-103,112
2026-10-113,112
2026-10-123,114
2026-10-133,117
2026-10-143,117
2026-10-153,118
2026-10-163,118
2026-10-173,118
2026-10-183,118
2026-10-193,120
2026-10-203,121
2026-10-213,123
2026-10-223,124
2026-10-233,124
2026-10-243,126
2026-10-253,127
2026-10-263,128
2026-10-273,130
2026-10-283,131
2026-10-293,131
2026-10-303,131
2026-10-313,131
2026-11-013,132
2026-11-023,132

Get the project

git clone https://github.com/FStarLang/FStar.git

Cloning downloads the source. For dependencies and installation, follow the project README.

Related projects & alternative candidates

Related domains do not imply feature parity. Review official documentation and licenses.