A Proof-oriented Programming Language

• UpdatedMar 11, 2025
• F*

A verification toolchain for Rust programs

• UpdatedMar 17, 2025
• OCaml

F* library for verifying neural networks.

• UpdatedMar 25, 2023
• F*

🦅 VSCode extension for F* with IDE features

• UpdatedMar 21, 2020
• TypeScript

Various ideas in OCaml, Haskell, and F*

• UpdatedDec 6, 2024
• Haskell

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

• UpdatedSep 18, 2024
• F*

F* MSBuild SDK

• UpdatedSep 10, 2024
• F*

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

• UpdatedAug 22, 2018
• Nix

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

• UpdatedJan 11, 2020
• C

FStar Documentations in readthedocs

• UpdatedJan 16, 2019

Translates FStar official docs to reStructuredText

• UpdatedJan 16, 2019
• F#

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

• UpdatedOct 22, 2023
• R

[WIP] Writing low* code to implement dlists

• UpdatedAug 6, 2019
• F*

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

• UpdatedSep 13, 2022
• F*

• UpdatedJul 25, 2020

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

• UpdatedSep 13, 2022
• F*

My solutions for the F* turorial

• UpdatedJul 27, 2022
• F*

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

• UpdatedNov 18, 2020
• F*

implementation of gcd function in fstar.

• UpdatedJul 6, 2018
• Makefile

Proving equivalence of spec for Poly1305 in HACL* and Vale

• UpdatedJan 15, 2018
• Makefile