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: 13 May 2025

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: 02 Apr 2025

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: 16 May 2025

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: 26 Sep 2025

https://github.com/wenkokke/starchild

F* library for verifying neural networks.

fstar neural-networks smt-solver

Last synced: 14 Sep 2025

https://github.com/mariari/misc-ml-scripts

Various ideas in OCaml, Haskell, and F*

fstar haskell ocaml

Last synced: 09 Apr 2025

https://github.com/kant2002/fstarsample

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

fstar

Last synced: 29 Apr 2025

https://github.com/kant2002/fstarmsbuildsdk

F* MSBuild SDK

fstar msbuild-sdk

Last synced: 29 Apr 2025

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: 30 Oct 2025

https://github.com/avestura/fstardocs

FStar Documentations in readthedocs

docs documentations fstar

Last synced: 06 Jul 2025

https://github.com/avestura/fstardocbootstrapper

Translates FStar official docs to reStructuredText

fsharp fstar

Last synced: 03 Mar 2025

https://github.com/avestura/fstar

collection fstar

Last synced: 25 Oct 2025

https://github.com/jaybosamiya/lowstar-dlist-trials

[WIP] Writing low* code to implement dlists

fstar wip

Last synced: 31 Mar 2025

https://github.com/fornever/fstar-tutorial

My solutions for the F* turorial

fstar tutorial-exercises

Last synced: 10 Oct 2025

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: 31 Mar 2025

https://github.com/yuchiki/gcd

implementation of gcd function in fstar.

fstar gcd proof-assistant

Last synced: 07 Apr 2025

https://github.com/victor-dumitrescu/fstar-metatheory

Mechanized metatheory in F*

fstar

Last synced: 18 Aug 2025

https://github.com/tyilo/fstar-ni

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

fstar information-flow

Last synced: 28 Jun 2025

https://github.com/ewdlop/proof-assistance-note

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

4-color-theorem computer-assisted-proof coq fstar hott humanoid lean qed self-referential smt-solver syllogism type-theoretic-mathematics typescript water-proof

Last synced: 03 Nov 2025