fstar

A Proof-oriented Programming Language

A verification toolchain for Rust programs

F* library for verifying neural networks.

🦅 VSCode extension for F* with IDE features

Various ideas in OCaml, Haskell, and F*

Sample how to perform export of F* to F# with Nuget

F* MSBuild SDK

tuptech.org

A formally verified implementation of a bolt-on security device for ICS networks. Designed with TLA+ and written/proved in F*

Working through the F* tutorial (https://www.fstar-lang.org/tutorial/)

Translates FStar official docs to reStructuredText

FStar Documentations in readthedocs

Proof or it didn't ship! ✅ A curated list of resources for formally verified code, written by people and by AI.

🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:FStar category for AI2001, containing F* programming language datasets

A repository for showcasing my knowledge of the F* programming language, and continuing to learn the language.

Unified build system, compiler driver & multi-ISA verification toolchain for formally verified cryptographic assembly in Vale, Pulse, and F*.

My solutions for the F* turorial

[WIP] Writing low* code to implement dlists

The F* Programming language IDE submodule for SNU Programming Tools.