fstar

AeneasVerif/aeneas

A verification toolchain for Rust programs

wenkokke/starchild

F* library for verifying neural networks.

artagnon/vsfstar

🦅 VSCode extension for F* with IDE features

mariari/Misc-ML-Scripts

Various ideas in OCaml, Haskell, and F*

kant2002/FStarMSBuildSdk

F* MSBuild SDK

mssabr01/ICSVerifiedSoftwareProject

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

yurrriq/learning-fstar

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

kant2002/fstarsample

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

avestura/FStarDocBootstrapper

Translates FStar official docs to reStructuredText

avestura/FStarDocs

FStar Documentations in readthedocs

avestura/FStar

ForNeVeR/fstar-tutorial

My solutions for the F* turorial

jaybosamiya/lowstar-dlist-trials

[WIP] Writing low* code to implement dlists

seanpm2001/AI2001_Category-Source_Code-SC-FStar

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

seanpm2001/Learn-FStar

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

seanpm2001/SNU_2D_ProgrammingTools_IDE_FStar

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

jaybosamiya/poly1305-equivalence

Proving equivalence of spec for Poly1305 in HACL* and Vale

TakuKitamura/verimqtt

verimqtt, a formally verified mqtt library written in F*.一定の条件下であればバグがないMQTT実装。

yuchiki/gcd

implementation of gcd function in fstar.

victor-dumitrescu/fstar-metatheory

Mechanized metatheory in F*

bearddan2000/fstar-cli-hello-world

A POC for fstar programming language.

tyilo/fstar-ni

Using F* to prove non-interference for a well-typed subset of programs written in a small imperative language

wkolowski/Dependent-Types-and-Theorem-Proving

Slides and code snippets for a talk I have given in November 2021.

YuXinFan/Wys-ckt

circuit translation check of Wys* project