Skip to content
@FStarLang

FStarLang

Pinned Loading

  1. FStar Public

    A Proof-oriented Programming Language

    F* 2.8k 236

  2. karamel Public

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

    OCaml 424 64

Repositories

Showing 10 of 20 repositories
  • karamel Public

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

    OCaml 424 Apache-2.0 64 37 12 Updated Mar 10, 2025
  • FStar-nightly Public

    F* nightly builds

    0 0 0 0 Updated Mar 10, 2025
  • pulse-nightly Public

    Nightly builds for Pulse

    0 0 0 0 Updated Mar 10, 2025
  • pulse Public

    The Pulse separation logic DSL for F*

    F* 14 Apache-2.0 9 63 7 Updated Mar 7, 2025
  • steel Public

    The Steel separation logic library for F*

    F* 33 Apache-2.0 5 0 0 Updated Mar 6, 2025
  • FStar Public

    A Proof-oriented Programming Language

    F* 2,805 Apache-2.0 236 494 (8 issues need help) 62 Updated Mar 5, 2025
  • fstarlang.github.io Public

    The website of all things F*

    HTML 8 9 4 6 Updated Feb 20, 2025
  • fstar-vscode-assistant Public

    An interactive mode for F* in VS Code

    TypeScript 20 9 9 0 Updated Feb 7, 2025
  • fstar-mode.el Public

    Emacs support for F*

    Emacs Lisp 68 Apache-2.0 18 16 6 Updated Feb 1, 2025
  • PoP-in-FStar Public

    The Proof-oriented Programming in F* Book

    Python 12 Apache-2.0 6 0 1 Updated Jan 12, 2025
View all repositories

Most used topics

Loading…