Submissions from fstar-lang.org

		Proof-Oriented Programming in F* (fstar-lang.org)
		3 points by todsacerdoti 69 days ago \| past
		F*: A proof oriented general purpose programming language (fstar-lang.org)
		254 points by akkad33 on Dec 25, 2024 \| past \| 61 comments
		F* – A Proof-Oriented Programming Language (fstar-lang.org)
		236 points by montyanderson on May 16, 2024 \| past \| 102 comments
		FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores (2022) [pdf] (fstar-lang.org)
		2 points by deterministic on Feb 7, 2023 \| past
		Formally Proven Binary Format Parsers [pdf] (fstar-lang.org)
		2 points by azhenley on June 15, 2022 \| past
		The F* Programming Language (fstar-lang.org)
		36 points by deterministic on May 26, 2022 \| past \| 5 comments
		New F* Tutorial (fstar-lang.org)
		1 point by dvz on May 27, 2021 \| past
		F*: A Higher-Order Effectful Language Designed for Program Verification (fstar-lang.org)
		2 points by GordonS on Jan 11, 2021 \| past
		Verified Programming in F*: A Tutorial (fstar-lang.org)
		159 points by jstrieb on Jan 4, 2021 \| past \| 76 comments
		Verified Programming in F*: A Tutorial (fstar-lang.org)
		2 points by jstrieb on Sept 25, 2020 \| past
		F* – an FP language with effects, aimed at verification (fstar-lang.org)
		1 point by sriku on Aug 28, 2019 \| past
		F* – An ML-like functional programming language aimed at program verification (fstar-lang.org)
		264 points by philonoist on Oct 30, 2017 \| past \| 95 comments
		F*: an ML-like functional programming language aimed at program verification (fstar-lang.org)
		2 points by fanf2 on Sept 1, 2017 \| past
		F*: A Higher-Order Effectful Language Designed for Program Verification (fstar-lang.org)
		5 points by mabynogy on March 14, 2017 \| past
		F*: A Higher-Order Effectful Language Designed for Program Verification (fstar-lang.org)
		1 point by _qc3o on Aug 2, 2016 \| past
		Verified Programming in F*: A Tutorial (fstar-lang.org)
		95 points by namin on Jan 21, 2016 \| past \| 28 comments

HN For You