Skip to content
@FStarLang

FStarLang

Pinned Loading

  1. FStar FStar Public

    A Proof-oriented Programming Language

    F* 3k 251

  2. karamel karamel Public

    KaRaMeL is a tool for extracting low-level F* programs to readable C code

    OCaml 493 70

Repositories

Showing 10 of 22 repositories
  • pulse Public

    The Pulse separation logic DSL for F*

    FStarLang/pulse’s past year of commit activity
    F* 34 Apache-2.0 10 62 11 Updated Feb 16, 2026
  • FStar-nightly Public

    F* nightly builds

    FStarLang/FStar-nightly’s past year of commit activity
    0 0 0 0 Updated Feb 16, 2026
  • pulse-nightly Public

    Nightly builds for Pulse

    FStarLang/pulse-nightly’s past year of commit activity
    0 0 0 0 Updated Feb 16, 2026
  • FStar Public

    A Proof-oriented Programming Language

    FStarLang/FStar’s past year of commit activity
    F* 2,973 Apache-2.0 251 494 (8 issues need help) 72 Updated Feb 14, 2026
  • karamel Public

    KaRaMeL is a tool for extracting low-level F* programs to readable C code

    FStarLang/karamel’s past year of commit activity
    OCaml 493 Apache-2.0 70 44 9 Updated Feb 14, 2026
  • fstar-vscode-assistant Public

    An interactive mode for F* in VS Code

    FStarLang/fstar-vscode-assistant’s past year of commit activity
    TypeScript 27 10 15 0 Updated Feb 11, 2026
  • pulse-sandbox Public

    A repo to get started with Pulse, with a devcontainer

    FStarLang/pulse-sandbox’s past year of commit activity
    F* 4 0 0 0 Updated Feb 10, 2026
  • pulse-tutorial-24 Public

    Files and devcontainer for POPL 24 Tutorial on Pulse

    FStarLang/pulse-tutorial-24’s past year of commit activity
    F* 6 4 0 0 Updated Feb 2, 2026
  • fstar-mcp Public

    An MCP server for the fstar proof assistant

    FStarLang/fstar-mcp’s past year of commit activity
    Rust 2 1 0 0 Updated Jan 31, 2026
  • steel Public

    The Steel separation logic library for F*

    FStarLang/steel’s past year of commit activity
    F* 36 Apache-2.0 6 12 0 Updated Nov 24, 2025
View all repositories