Projects in Awesome Lists by FStarLang
A curated list of projects in awesome lists by FStarLang .
https://github.com/fstarlang/fstar
A Proof-oriented Programming Language
c-language dependent-types f-sharp fstar ocaml programming-language proof-assistant smt theorem-proving verification
Last synced: 13 May 2025
https://github.com/FStarLang/FStar
A Proof-oriented Programming Language
c-language dependent-types f-sharp fstar ocaml programming-language proof-assistant smt theorem-proving verification
Last synced: 02 Apr 2025
https://github.com/fstarlang/karamel
KaRaMeL is a tool for extracting low-level F* programs to readable C code
c-language cryptography f-star proofs verification
Last synced: 15 May 2025
https://github.com/fstarlang/fstar-vscode-assistant
An interactive mode for F* in VS Code
Last synced: 30 May 2026
https://github.com/fstarlang/steel
The Steel separation logic library for F*
Last synced: 10 Mar 2025
https://github.com/fstarlang/pop-in-fstar
The Proof-oriented Programming in F* Book
Last synced: 13 Oct 2025
https://github.com/fstarlang/fstar-layer
Spacemacs layer for fstar (wrapper for fstar-mode.el)
Last synced: 27 Jan 2026
https://github.com/fstarlang/atom-fstar
Syntax highlighting for F* in Atom Editor
Last synced: 19 Apr 2025
https://github.com/fstarlang/fstarlang.github.io
The website of all things F*
Last synced: 09 Mar 2026
https://github.com/fstarlang/fstar-interactive
An F* interactive mode for the atom editor
Last synced: 20 Oct 2025
https://github.com/fstarlang/binaries
Regular binary builds of F* and compatible versions of Z3
Last synced: 19 Apr 2025
https://github.com/fstarlang/pulse-tutorial-24
Files and devcontainer for POPL 24 Tutorial on Pulse
Last synced: 10 Mar 2025
https://github.com/fstarlang/pulse-sandbox
A repo to get started with Pulse, with a devcontainer
Last synced: 14 Feb 2026