Skip to content

@FStarLang FStarLang

Change the repository type filter

All

    Repositories list

    22 repositories

    • pulse

      Public
      The Pulse separation logic DSL for F*
      F*
      •
      Apache License 2.0
      •10•30•62•11•Updated Feb 4, 2026Feb 4, 2026

    • FStar-nightly

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

    • pulse-nightly

      Public
      Nightly builds for Pulse
      0•0•0•0•Updated Feb 4, 2026Feb 4, 2026

    • karamel

      Public
      KaRaMeL is a tool for extracting low-level F* programs to readable C code
      cryptographyverificationproofsc-languagef-star
      OCaml
      •
      Apache License 2.0
      •70•490•43•8•Updated Feb 3, 2026Feb 3, 2026

    • FStar

      Public
      A Proof-oriented Programming Language
      programming-languagedependent-typesocamltheorem-provingverificationf-sharpproof-assistantsmtc-languagefstar
      F*
      •
      Apache License 2.0
      •251•3k•494•68•Updated Feb 3, 2026Feb 3, 2026

    • pulse-sandbox

      Public
      A repo to get started with Pulse, with a devcontainer
      F*
      •0•2•0•0•Updated Feb 2, 2026Feb 2, 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

    • fstar-mcp

      Public
      An MCP server for the fstar proof assistant
      Rust
      •0•0•0•0•Updated Jan 31, 2026Jan 31, 2026

    • fstar-vscode-assistant

      Public
      An interactive mode for F* in VS Code
      TypeScript
      •
      Other
      •10•27•14•0•Updated Dec 6, 2025Dec 6, 2025

    • steel

      Public
      The Steel separation logic library for F*
      F*
      •
      Apache License 2.0
      •6•36•12•0•Updated Nov 24, 2025Nov 24, 2025

    • PoP-in-FStar

      Public
      The Proof-oriented Programming in F* Book
      Python
      •
      Apache License 2.0
      •8•12•0•0•Updated Nov 20, 2025Nov 20, 2025

    • .github

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

    • fstarlang.github.io

      Public
      The website of all things F*
      HTML
      •9•8•4•6•Updated Aug 11, 2025Aug 11, 2025

    • fstar-mode.el

      Public
      Emacs support for F*
      Emacs Lisp
      •
      Apache License 2.0
      •19•70•17•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
      •5k•1•0•0•Updated Aug 28, 2015Aug 28, 2015