haf/miTLS

(mirroring) miTLS is a verified reference implementation of the TLS protocol.

GitHub repository with 8 stars and 2 forks.

Language: F#

Open provider repository

Latest metric snapshot

2026-06-05: 8 stars and 2 forks.

Similar repositories

  1. 1. ionide/ionide-vscode-fsharp

    VS Code plugin for F# development

    GitHub repository with 894 stars and 299 forks.

    Trending score: 0.59; stars gained: +1; forks gained: +0.

    Language: F#

    Topics: fsharp, vscode, ionide, fable, ide, editor-plugin

  2. 2. hra1129/V9968_Cartridge

    V9968 Development Repository

    GitHub repository with 11 stars and 2 forks.

    Trending score: 0.33; stars gained: +1; forks gained: +0.

    Language: F#

  3. 3. fsprojects/fantomas

    FSharp source code formatter

    GitHub repository with 829 stars and 203 forks.

    Trending score: 0.32; stars gained: +0; forks gained: +0.

    Language: F#

    Topics: formatter, ast, fsharp

  4. 4. fsprojects/FSharp.Formatting

    F# tools for generating documentation (Markdown processor and F# code formatter)

    GitHub repository with 496 stars and 163 forks.

    Trending score: 0.28; stars gained: +0; forks gained: +0.

    Language: F#

  5. 5. fsprojects/FSharp.TypeProviders.SDK

    The SDK for creating F# type providers

    GitHub repository with 305 stars and 91 forks.

    Trending score: 0.25; stars gained: +0; forks gained: +0.

    Language: F#

    Topics: fsharp, typeprovider, sdk

  6. 6. ScottArbeit/Grace

    Grace Version Control System

    GitHub repository with 582 stars and 18 forks.

    Trending score: 0.23; stars gained: +0; forks gained: +0.

    Language: F#

    Topics: cloud-native, developer-tools, dotnet, fsharp, orleans, source-control

Trending in F#

  1. 1. ionide/ionide-vscode-fsharp

    VS Code plugin for F# development

    GitHub repository with 894 stars and 299 forks.

    Trending score: 0.59; stars gained: +1; forks gained: +0.

    Language: F#

    Topics: fsharp, vscode, ionide, fable, ide, editor-plugin

  2. 2. hra1129/V9968_Cartridge

    V9968 Development Repository

    GitHub repository with 11 stars and 2 forks.

    Trending score: 0.33; stars gained: +1; forks gained: +0.

    Language: F#

  3. 3. fsprojects/fantomas

    FSharp source code formatter

    GitHub repository with 829 stars and 203 forks.

    Trending score: 0.32; stars gained: +0; forks gained: +0.

    Language: F#

    Topics: formatter, ast, fsharp

  4. 4. fsprojects/FSharp.Formatting

    F# tools for generating documentation (Markdown processor and F# code formatter)

    GitHub repository with 496 stars and 163 forks.

    Trending score: 0.28; stars gained: +0; forks gained: +0.

    Language: F#

  5. 5. fsprojects/FSharp.TypeProviders.SDK

    The SDK for creating F# type providers

    GitHub repository with 305 stars and 91 forks.

    Trending score: 0.25; stars gained: +0; forks gained: +0.

    Language: F#

    Topics: fsharp, typeprovider, sdk

  6. 6. ScottArbeit/Grace

    Grace Version Control System

    GitHub repository with 582 stars and 18 forks.

    Trending score: 0.23; stars gained: +0; forks gained: +0.

    Language: F#

    Topics: cloud-native, developer-tools, dotnet, fsharp, orleans, source-control