| | F*: A proof oriented general purpose programming language (fstar-lang.org) |
| 254 points by akkad33 11 months ago | 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 | 6 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 |
|
