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

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

No description provided.

My solutions for the F* turorial

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

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

[WIP] Writing low* code to implement dlists

implementation of gcd function in fstar.

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

Proving equivalence of spec for Poly1305 in HACL* and Vale

A POC for fstar programming language.

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

circuit translation check of Wys* project

https://en.wikipedia.org/wiki/Proof_assistant; 一錯特錯錯到底! 爆炸原理是重哪來的?

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

Mechanized metatheory in F*