Skip to content

@FStarLang FStarLang

Change the repository type filter

All

    Repositories list

    29 repositories

    • kuiper

      Public
      GPU kernel verification with Pulse
      F*
      •0•6•7•1•Updated Jul 29, 2026Jul 29, 2026

    • FStar

      Public
      A Proof-oriented Programming Language
      programming-languagedependent-typesocaml
      programming-languagedependent-typesocamltheorem-provingverificationf-sharpproof-assistantsmtc-languagefstar
      F*
      •
      Apache License 2.0
      •258•3.1k•495•72•Updated Jul 29, 2026Jul 29, 2026

    • FStar-nightly

      Public
      F* nightly builds
      0•0•0•0•Updated Jul 29, 2026Jul 29, 2026

    • pal

      Public
      Proof Annotation Language: inline Pulse annotations for C
      Rust
      •
      Apache License 2.0
      •0•11•11•5•Updated Jul 28, 2026Jul 28, 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
      •72•519•51•11•Updated Jul 24, 2026Jul 24, 2026

    • pulse

      Public
      The Pulse separation logic DSL for F*
      11•36•61•9•Updated Jul 23, 2026Jul 23, 2026

    • AlgoStar

      Public
      Auto formalization of the CLRS text book
      F*
      •3•38•7•3•Updated Jul 8, 2026Jul 8, 2026

    • pulse-verified-gc

      Public
      Verified garbage collectors in Pulse
      F*
      •0•9•0•5•Updated Jun 18, 2026Jun 18, 2026

    • steel

      Public
      The Steel separation logic library for F*
      F*
      •
      Apache License 2.0
      •7•39•12•0•Updated Jun 8, 2026Jun 8, 2026

    • fstar-vscode-assistant

      Public
      An interactive mode for F* in VS Code
      TypeScript
      •
      Other
      •11•27•16•0•Updated Jun 4, 2026Jun 4, 2026

    • summit-breeze

      Public
      An LSP server for SMT-LIB files, with a VS Code extension for syntax highlighting and language support.
      Rust
      •
      Apache License 2.0
      •0•0•0•0•Updated May 28, 2026May 28, 2026

    • pulse-sandbox

      Public
      A repo to get started with Pulse, with a devcontainer
      F*
      •1•6•0•0•Updated May 27, 2026May 27, 2026

    • proof-copilot

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

    • fstarlang.github.io

      Public
      The website of all things F*
      HTML
      •9•8•4•6•Updated May 3, 2026May 3, 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-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•1•0•0•Updated Feb 24, 2026Feb 24, 2026

    • fstar-mcp

      Public
      An MCP server for the fstar proof assistant
      Rust
      •3•8•0•0•Updated Feb 22, 2026Feb 22, 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
      •16•26•7•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.3k•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.