Skip to content
@FStarLang

FStarLang

Pinned Loading

  1. FStar FStar Public

    A Proof-oriented Programming Language

    F* 3.1k 268

  2. karamel karamel Public

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

    OCaml 522 74

Repositories

Showing 10 of 32 repositories
  • FStar Public

    A Proof-oriented Programming Language

    FStarLang/FStar's past year of commit activity
    F* 3,128 Apache-2.0 268 519 (7 issues need help) 86 Updated Oct 27, 2026
  • kuiper Public

    GPU kernel verification with Pulse

    FStarLang/kuiper's past year of commit activity
    F* 25 3 8 9 Updated Oct 27, 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 522 Apache-2.0 74 50 10 Updated Oct 26, 2026
  • pal Public

    Proof Annotation Language: inline Pulse annotations for C

    FStarLang/pal's past year of commit activity
    Rust 13 Apache-2.0 4 29 38 Updated Oct 26, 2026
  • pulse-verified-gc Public

    Verified garbage collectors in Pulse

    FStarLang/pulse-verified-gc's past year of commit activity
    F* 9 1 3 6 Updated Oct 26, 2026
  • tree-sitter-fstar Public

    A tree-sitter grammar for FStar and Pulse, with NodeJS and Rust bindings

    FStarLang/tree-sitter-fstar's past year of commit activity
    C 0 0 0 0 Updated Oct 26, 2026
  • atlas Public

    A verified implementation of TLS in Pulse, programmed and verified by agents

    FStarLang/atlas's past year of commit activity
    F* 0 0 0 0 Updated Oct 26, 2026
  • hacl-pulse Public

    Formally verified cryptography library for Pulse/F*

    FStarLang/hacl-pulse's past year of commit activity
    F* 1 Apache-2.0 0 0 0 Updated Oct 26, 2026
  • FStar-nightly Public

    F* nightly builds

    FStarLang/FStar-nightly's past year of commit activity
    0 0 0 0 Updated Oct 26, 2026
  • AlgoStar Public

    Auto formalization of the CLRS text book

    FStarLang/AlgoStar's past year of commit activity
    F* 40 3 7 3 Updated Oct 22, 2026
View all repositories

Top languages

Loading…