fstar
There are 25 repositories under fstar topic.
FStarLang/FStar
A Proof-oriented Programming Language
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
kant2002/fstarsample
Sample how to perform export of F* to F# with Nuget
mariari/Misc-ML-Scripts
Various ideas in OCaml, Haskell, and F*
kant2002/FStarMSBuildSdk
F* MSBuild SDK
yurrriq/learning-fstar
Working through the F* tutorial (https://www.fstar-lang.org/tutorial/)
mssabr01/ICSVerifiedSoftwareProject
A formally verified implementation of a bolt-on security device for ICS networks. Designed with TLA+ and written/proved in F*
avestura/FStarDocBootstrapper
Translates FStar official docs to reStructuredText
avestura/FStarDocs
FStar Documentations in readthedocs
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