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

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/)

An assistant built to be trusted by proof, not by sounding right: a small language model trained from random weights on one machine, running with nothing behind it, whose programs carry specifications checked by seven provers (Dafny, Verus, SPARK, Frama-C, Lean 4, Rocq, F*), each also refuting a sabotaged twin. It learns only from what was proved.

Translates FStar official docs to reStructuredText

FStar Documentations in readthedocs

🧠️🖥️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.

[WIP] Writing low* code to implement dlists

My solutions for the F* turorial

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

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

implementation of gcd function in fstar.