Skip to content

@FStarLang FStarLang

Change the repository type filter

All

    Repositories list

    27 repositories

    • proof-copilot

      Public
      A Copilot-CLI Plugin for F* and Related Tools
      Shell
      •
      Apache License 2.0
      •0•4•0•0•Updated May 4, 2026May 4, 2026

    • pal

      Public
      Proof Annotation Language: inline Pulse annotations for C
      Rust
      •
      Apache License 2.0
      •0•2•11•2•Updated May 4, 2026May 4, 2026

    • karamel

      Public
      KaRaMeL is a tool for extracting low-level F* programs to readable C code
      cryptographyverificationproofs
      cryptographyverificationproofsc-languagef-star
      OCaml
      •
      Apache License 2.0
      •71•505•52•14•Updated May 4, 2026May 4, 2026

    • FStar-nightly

      Public
      F* nightly builds
      0•0•0•0•Updated May 4, 2026May 4, 2026

    • FStar

      Public
      A Proof-oriented Programming Language
      programming-languagedependent-typesocaml
      programming-languagedependent-typesocamltheorem-provingverificationf-sharpproof-assistantsmtc-languagefstar
      F*
      •
      Apache License 2.0
      •250•3k•478•64•Updated May 4, 2026May 4, 2026

    • fstarlang.github.io

      Public
      The website of all things F*
      HTML
      •9•8•4•6•Updated May 3, 2026May 3, 2026

    • AlgoStar

      Public
      Auto formalization of the CLRS text book
      F*
      •2•33•5•0•Updated May 1, 2026May 1, 2026

    • pulse-verified-gc

      Public
      Verified garbage collectors in Pulse
      F*
      •0•5•0•0•Updated Apr 29, 2026Apr 29, 2026

    • steel

      Public
      The Steel separation logic library for F*
      F*
      •
      Apache License 2.0
      •6•37•12•0•Updated Apr 21, 2026Apr 21, 2026

    • PoP-in-FStar

      Public archive
      The Proof-oriented Programming in F* Book
      Python
      •
      Apache License 2.0
      •9•12•0•0•Updated Apr 16, 2026Apr 16, 2026

    • pulse

      Public
      The Pulse separation logic DSL for F*
      10•35•63•9•Updated Apr 4, 2026Apr 4, 2026

    • pulse-nightly

      Public
      Nightly builds for Pulse
      0•0•0•0•Updated Mar 17, 2026Mar 17, 2026

    • LowStar

      Public
      Libraries and examples for the Low* DSL
      F*
      •
      Apache License 2.0
      •0•0•0•0•Updated Feb 24, 2026Feb 24, 2026

    • fstar-mcp

      Public
      An MCP server for the fstar proof assistant
      Rust
      •3•7•0•0•Updated Feb 22, 2026Feb 22, 2026

    • pulse-sandbox

      Public
      A repo to get started with Pulse, with a devcontainer
      F*
      •0•5•0•0•Updated Feb 19, 2026Feb 19, 2026

    • fstar-vscode-assistant

      Public
      An interactive mode for F* in VS Code
      TypeScript
      •
      Other
      •11•27•16•1•Updated Feb 11, 2026Feb 11, 2026

    • pulse-tutorial-24

      Public
      Files and devcontainer for POPL 24 Tutorial on Pulse
      F*
      •4•6•0•0•Updated Feb 2, 2026Feb 2, 2026

    • .github

      Public
      Organization level policies/settings
      MIT License
      •0•0•0•0•Updated Nov 4, 2025Nov 4, 2025

    • fstar-mode.el

      Public
      Emacs support for F*
      Emacs Lisp
      •
      Apache License 2.0
      •19•73•18•5•Updated Jun 25, 2025Jun 25, 2025

    • fstar_dataset

      Public
      Python
      •
      MIT License
      •0•2•13•0•Updated May 23, 2025May 23, 2025

    • VimFStar

      Public
      A Vim mode for FStar
      Vim Script
      •
      Vim License
      •15•26•6•0•Updated Mar 24, 2023Mar 24, 2023

    • atom-fstar

      Public archive
      Syntax highlighting for F* in Atom Editor
      Shell
      •
      Apache License 2.0
      •7•11•1•1•Updated Oct 4, 2021Oct 4, 2021

    • binaries

      Public
      Regular binary builds of F* and compatible versions of Z3
      Shell
      •
      Apache License 2.0
      •2•6•1•0•Updated Apr 22, 2021Apr 22, 2021

    • fstar-interactive

      Public archive
      An F* interactive mode for the atom editor
      JavaScript
      •
      MIT License
      •4•7•12•1•Updated Jul 16, 2020Jul 16, 2020

    • fstar-layer

      Public
      Spacemacs layer for fstar (wrapper for fstar-mode.el)
      Emacs Lisp
      •5•11•2•0•Updated Jul 13, 2020Jul 13, 2020

    • 3rdparty

      Public
      Third party libraries
      3•1•0•0•Updated Sep 25, 2015Sep 25, 2015

    • linguist

      Public
      Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
      Ruby
      •
      MIT License
      •5.1k•1•0•0•Updated Aug 28, 2015Aug 28, 2015
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.