Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with fstar
A curated list of projects in awesome lists tagged with fstar .
https://github.com/fstarlang/fstar
A Proof-oriented Programming Language
c-language dependent-types f-sharp fstar ocaml programming-language proof-assistant smt theorem-proving verification
Last synced: 30 Sep 2024
https://github.com/FStarLang/FStar
A Proof-oriented Programming Language
c-language dependent-types f-sharp fstar ocaml programming-language proof-assistant smt theorem-proving verification
Last synced: 01 Aug 2024
https://github.com/aeneasverif/aeneas
A verification toolchain for Rust programs
compiler coq deductive-reasoning formal-methods formal-verification fstar hol4 lean ocaml program-verification proofs rust rust-lang
Last synced: 27 Sep 2024
https://github.com/kant2002/fstarsample
Sample how to perform export of F* to F# with Nuget
Last synced: 03 Oct 2024