Skip to content
@FStarLang

FStarLang

Pinned Loading

  1. FStar FStar Public

    A Proof-oriented Programming Language

    F* 3k 249

  2. karamel karamel Public

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

    OCaml 501 72

Repositories

Showing 10 of 24 repositories
  • FStar Public

    A Proof-oriented Programming Language

    FStarLang/FStar’s past year of commit activity
    F* 2,987 Apache-2.0 249 493 (8 issues need help) 70 Updated Mar 21, 2026
  • FStar-nightly Public

    F* nightly builds

    FStarLang/FStar-nightly’s past year of commit activity
    0 0 0 0 Updated Mar 21, 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 501 Apache-2.0 72 43 9 Updated Mar 20, 2026
  • AlgoStar Public

    Auto formalization of the CLRS text book

    FStarLang/AlgoStar’s past year of commit activity
    F* 25 0 5 0 Updated Mar 17, 2026
  • pulse-nightly Public

    Nightly builds for Pulse

    FStarLang/pulse-nightly’s past year of commit activity
    0 0 0 0 Updated Mar 17, 2026
  • pulse Public archive

    The Pulse separation logic DSL for F*

    FStarLang/pulse’s past year of commit activity
    F* 35 Apache-2.0 11 65 14 Updated Mar 15, 2026
  • LowStar Public

    Libraries and examples for the Low* DSL

    FStarLang/LowStar’s past year of commit activity
    F* 0 Apache-2.0 0 0 0 Updated Feb 24, 2026
  • fstar-mcp Public

    An MCP server for the fstar proof assistant

    FStarLang/fstar-mcp’s past year of commit activity
    Rust 6 2 0 0 Updated Feb 22, 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 19, 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
View all repositories