FStarLang / FStar
A Proof-oriented Programming Language
- Stars
- 3,144 stars
- Forks
- 269 forks
- Language
- F*
- License
- APACHE-2.0
- Created
- Apr 3, 2014
- Last push
- Nov 13, 2026
- Updated
- Nov 12, 2026
Admitted to the Repository Index on Nov 11, 2026: 3,144 stars on 2026-11-11.
Star History
189 days recorded, May 8, 2026 – Nov 12, 2026 (UTC). Net change +147 stars.
The star count of each day is the latest count minus the net stars of the later days.
Add this Star History to a README
The images follow the light or dark theme of the page that shows them, and update every hour.
Add ?theme=light or ?theme=dark
to the chart address to keep one theme.
Star History chart
[](https://awesomerepos.com/FStarLang/FStar) Badge
[](https://awesomerepos.com/FStarLang/FStar) Timeline
It gained stars on 95 of the 189 days recorded since May 8, 2026.
Its largest 7 days were Aug 2, 2026 to Aug 8, 2026: 20 stars.
In the 30 days to Nov 12, 2026 it got 27 stars, 50% more than in the 30 days before.
It had 2,997 stars before May 8, 2026 and has 3,144 stars now: 1,856 fewer than 5,000.
- Created on the Repository Host
- +4 stars in one day
- Largest star day recorded: +9 stars
- +5 stars in one day
- Release v2026.09.20
- Release v2026.09.27
- Release v2026.10.11
- Release v2026.10.18
- Release v2026.10.25
- Entered the Repository Index: 3,144 stars on 2026-11-11
- Latest push
The timeline comes from the creation date and the releases on the Repository Host, the Admission, the Star History, and the Observations. Star milestones show only when the Star History records the day. The list shows up to 5 stable releases from the latest 10 releases recorded. When none of them is stable, one item counts the pre-releases. On the chart of net stars each day, a solid line marks each recorded release.
Forks and pushes
From 2 Observations, Nov 12, 2026 – Nov 13, 2026. Forks 0. AwesomeRepos saw a new push on 1 of 1 days.
- Nov 13, 2026: new push
A filled day: the last push time changed since the Observation before it.
Health facts
Measured facts in four separate dimensions, each with a date and a source. AwesomeRepos does not add them into one score. AwesomeRepos reads the weekly commits, the changelog, and the community files each week for the 5,000 visible repositories with the most stars and for each rising repository. How AwesomeRepos defines each check
Maintenance
2 of 4 checks (2 without data)-
Yes: Not archived
GitHub does not mark the repository as archived. Source
-
Yes: A push in the last 90 days
Last push on 2026-11-13, 0 days ago. Source
-
No data: Commits in the last 13 weeks
No data: AwesomeRepos has not read the weekly commits.
-
No data: Commits in 26 or more of the last 52 weeks
No data: AwesomeRepos has not read the weekly commits.
Releases
2 of 3 checks (1 without data)-
Yes: A release in the last 365 days
Newest release v2026.10.25 on 2026-10-25, 18 days ago. 10 or more releases in the last 365 days. Source
-
Yes: The newest release tag is a semantic version
The newest release tag is v2026.10.25. Source
-
No data: A changelog file at the root
No data: AwesomeRepos has not scanned this repository.
Security practice
0 of 1 check (1 without data)-
No data: A security policy
No data: AwesomeRepos has not scanned this repository.
AwesomeRepos has not asked OpenSSF Scorecard about this repository.
Community files
1 of 3 checks (2 without data)-
Yes: A licence
GitHub finds the licence APACHE-2.0. Source
-
No data: A contributing guide
No data: AwesomeRepos has not scanned this repository.
-
No data: A code of conduct
No data: AwesomeRepos has not scanned this repository.
Dependencies in the index
This section shows the packages that connect this repository to other repositories in the index.
The GitHub dependency graph of this repository names 13 direct packages (scanned on Nov 13, 2026). Packages from 4 other repositories in the index are among them.
No scanned repository names a package from this repository.
Uses (in the index) · 4
-
GitHub Actions: actions/checkout
- actions/cache 5.6K
GitHub Actions: actions/cache/restore, actions/cache/save
-
GitHub Actions: actions/github-script
-
GitHub Actions: actions/upload-artifact
Used by (in the index) · 0
None.
Sources: the GitHub dependency graph of each repository, and deps.dev for the source repository of each package (checked on Nov 3, 2026). A dependency graph also names development packages. deps.dev takes most source repositories from package metadata. How the dependency graph is made
Observations
Latest Observation, Nov 13, 2026: 3,144 stars, 269 forks, last push Nov 13, 2026, not archived. One of 2 Observations since Nov 12, 2026.