fstar 开源项目推荐（34 个）

FStarLang /FStar

A Proof-oriented Programming Language

AeneasVerif /aeneas

Rust程序的验证工具链

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

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

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

avestura /FStarDocBootstrapper

该项目在 GitHub 上没有填写描述

JGalego /awesome-vericoding

Proof or it didn't ship! ✅ A curated list of resources for formally verified code, written by people and by AI.

avestura /FStarDocs

该项目在 GitHub 上没有填写描述

SSL-ACTX /valerie

WIP

seanpm2001 /AI2001_Category-Source_Code-SC-FStar

该项目在 GitHub 上没有填写描述

bivex /ASGARD-5877

Virtualization-based code protector and V-ISA synthesizer in OCaml: lifts x86-64/ARM64/RISC-V into a hardened C++20 VM runtime with CFF, MBA and metamorphic handlers, plus a differential-fuzzing test bed.

seanpm2001 /Learn-FStar

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

avestura /FStar

该项目在 GitHub 上没有填写描述

jaybosamiya /lowstar-dlist-trials

[WIP] Writing low* code to implement dlists

ForNeVeR /fstar-tutorial

My solutions for the F* turorial

seanpm2001 /SNU_2D_ProgrammingTools_IDE_FStar

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