FStarLang/FStar

A Proof-oriented Programming Language

GitHub repository with 3,040 stars and 254 forks.

Language: F*

Topics: programming-language, verification, dependent-types, smt, theorem-proving, proof-assistant, ocaml, f-sharp, c-language, fstar

Open provider repository

24h trend summary

Trending score 0.87, activity score 1.88, stars gained +3, forks gained +0.

Latest metric snapshot

2026-06-05: 3,040 stars and 254 forks.

Similar repositories

  1. 1. FStarLang/FStar

    A Proof-oriented Programming Language

    GitHub repository with 3,040 stars and 254 forks.

    Trending score: 0.87; stars gained: +3; forks gained: +0.

    Language: F*

    Topics: programming-language, verification, dependent-types, smt, theorem-proving, proof-assistant

Trending in F*

  1. 1. FStarLang/FStar

    A Proof-oriented Programming Language

    GitHub repository with 3,040 stars and 254 forks.

    Trending score: 0.87; stars gained: +3; forks gained: +0.

    Language: F*

    Topics: programming-language, verification, dependent-types, smt, theorem-proving, proof-assistant

Trending topic: programming-language

  1. 1. golang/go

    The Go programming language

    GitHub repository with 134,288 stars and 19,098 forks.

    Trending score: 2.97; stars gained: +45; forks gained: +3.

    Language: Go

    Topics: programming-language, language, go, golang

  2. 2. JetBrains/kotlin

    The Kotlin Programming Language.

    GitHub repository with 52,811 stars and 6,325 forks.

    Trending score: 2.08; stars gained: +9; forks gained: +6.

    Language: Kotlin

    Topics: compiler, gradle-plugin, intellij-plugin, kotlin, kotlin-library, maven-plugin

  3. 3. odin-lang/Odin

    Odin Programming Language

    GitHub repository with 10,575 stars and 973 forks.

    Trending score: 1.68; stars gained: +30; forks gained: +5.

    Language: Odin

    Topics: compiler, language, odin, odin-lang, odin-programming-language, programming-language

  4. 4. JuliaLang/julia

    The Julia Programming Language

    GitHub repository with 48,745 stars and 5,783 forks.

    Trending score: 1.16; stars gained: +15; forks gained: +0.

    Language: Julia

    Topics: julia-language, julia, scientific, hpc, numerical, machine-learning

  5. 5. dart-lang/sdk

    The Dart SDK, including the VM, JS and Wasm compilers, analysis, core libraries, and more.

    GitHub repository with 11,172 stars and 1,823 forks.

    Trending score: 0.97; stars gained: +7; forks gained: +2.

    Language: Dart

    Topics: dart, language, programming-language, sdk

  6. 6. tauraro/tauraro

    A compiled, statically-typed programming language with Python-style syntax, Rust-level performance, and full bilingual (English + Hausa) keyword support.

    GitHub repository with 42 stars and 11 forks.

    Trending score: 0.95; stars gained: +8; forks gained: +1.

    Language: C

    Topics: easy, friendly, native, programming-language, systems-programming, very-fast