FStarLang

@FStarLang

Pinned Loading

A Proof-oriented Programming Language

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

OCaml 501 72

Showing 10 of 26 repositories

FStar Public
A Proof-oriented Programming Language

FStarLang/FStar’s past year of commit activity
FStarLang/pulse-verified-gc’s past year of commit activity

F* 0 0
0 0
Updated Apr 2, 2026
FStarLang/FStar-nightly’s past year of commit activity

0 0
0 0
Updated Apr 2, 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
501
Apache-2.0
72 51 13
Updated Apr 1, 2026
FStarLang/fstarlang.github.io’s past year of commit activity

HTML
8 9 4 6
Updated Apr 1, 2026
AlgoStar Public
Auto formalization of the CLRS text book

FStarLang/AlgoStar’s past year of commit activity

F*
25
0
5 0
Updated Mar 31, 2026
proof-copilot Public
A Copilot-CLI Plugin for F* and Related Tools

FStarLang/proof-copilot’s past year of commit activity

Shell 0 Apache-2.0 0
0 0
Updated Mar 30, 2026
pulse Public
The Pulse separation logic DSL for F*

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

0 0
0 0
Updated Mar 17, 2026
LowStar Public
Libraries and examples for the Low* DSL

FStarLang/LowStar’s past year of commit activity

F* 0 Apache-2.0 0
0 0
Updated Feb 24, 2026

Loading…