FStarLang

Pinned Loading

FStar FStar Public

A Proof-oriented Programming Language

F* 2.9k 243
karamel karamel Public

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

OCaml 477 67

Repositories

FStar Public
A Proof-oriented Programming Language

FStarLang/FStar’s past year of commit activity

F* 2,902 Apache-2.0 243 496 (8 issues need help) 68 Updated Oct 7, 2025
FStar-nightly Public
F* nightly builds

FStarLang/FStar-nightly’s past year of commit activity

0 0 0 0 Updated Oct 7, 2025
pulse-nightly Public
Nightly builds for Pulse

FStarLang/pulse-nightly’s past year of commit activity

0 0 0 0 Updated Oct 7, 2025
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 477 Apache-2.0 67 42 8 Updated Oct 6, 2025
pulse Public
The Pulse separation logic DSL for F*

FStarLang/pulse’s past year of commit activity

F* 24 Apache-2.0 10 63 11 Updated Oct 6, 2025
steel Public
The Steel separation logic library for F*

FStarLang/steel’s past year of commit activity

F* 36 Apache-2.0 6 12 0 Updated Oct 1, 2025
fstar-vscode-assistant Public
An interactive mode for F* in VS Code

FStarLang/fstar-vscode-assistant’s past year of commit activity

TypeScript 25 10 14 0 Updated Sep 30, 2025
PoP-in-FStar Public
The Proof-oriented Programming in F* Book

FStarLang/PoP-in-FStar’s past year of commit activity

Python 12 Apache-2.0 9 0 0 Updated Aug 19, 2025
fstarlang.github.io Public
The website of all things F*

FStarLang/fstarlang.github.io’s past year of commit activity

HTML 8 9 4 6 Updated Aug 11, 2025
fstar-mode.el Public
Emacs support for F*

FStarLang/fstar-mode.el’s past year of commit activity

Emacs Lisp 70 Apache-2.0 19 17 5 Updated Jun 25, 2025

View all repositories

People

Top languages

F* Shell Python Emacs Lisp TypeScript

Most used topics

c-language verification