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: 03 Nov 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: 17 Dec 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: 18 Dec 2024
https://github.com/wenkokke/starchild
F* library for verifying neural networks.
fstar neural-networks smt-solver
Last synced: 10 Nov 2024
https://github.com/mariari/misc-ml-scripts
Various ideas in OCaml, Haskell, and F*
Last synced: 07 Dec 2024
https://github.com/kant2002/fstarsample
Sample how to perform export of F* to F# with Nuget
Last synced: 11 Dec 2024
https://github.com/yurrriq/learning-fstar
Working through the F* tutorial (https://www.fstar-lang.org/tutorial/)
exercises fstar learning-by-doing literate-programming nix sphinx theorem-proving tutorial
Last synced: 12 Oct 2024
https://github.com/avestura/fstardocbootstrapper
Translates FStar official docs to reStructuredText
Last synced: 14 Nov 2024
https://github.com/fornever/fstar-tutorial
My solutions for the F* turorial
Last synced: 07 Oct 2024
https://github.com/jaybosamiya/lowstar-dlist-trials
[WIP] Writing low* code to implement dlists
Last synced: 02 Nov 2024
https://github.com/jaybosamiya/poly1305-equivalence
Proving equivalence of spec for Poly1305 in HACL* and Vale
fstar poly1305 proof verification work-in-progress
Last synced: 02 Nov 2024
