Hacker News
- F*: A proof oriented general purpose programming language https://fstar-lang.org/ 61 comments
- F* – A Proof-Oriented Programming Language https://www.fstar-lang.org/ 102 comments
- The F* Programming Language http://www.fstar-lang.org/ 6 comments
- F* – An ML-like functional programming language aimed at program verification http://fstar-lang.org 95 comments
Lobsters
- F*: A Higher-Order Effectful Language Designed for Program Verification https://www.fstar-lang.org/#introduction 2 comments ml , release
- F*: A Higher-Order Effectful Language Designed for Program Verification https://www.fstar-lang.org/ 2 comments compsci
- F* : A general-purpose proof-oriented programming language https://fstar-lang.org/ 112 comments programming
- F*: A Higher-Order Effectful Language Designed for Program Verification https://www.fstar-lang.org/#introduction 27 comments programming
- F*: A Higher-Order Effectful Language Designed for Program Verification https://www.fstar-lang.org/ 10 comments programming
- F*: Dependently typed ML https://www.fstar-lang.org 44 comments programming
- F*: A Higher-Order Effectful Language Designed for Program Verification https://www.fstar-lang.org/ 5 comments compsci
Linking pages
- One Letter Programming Languages https://beza1e1.tuxen.de/one_letter_proglangs.html 417 comments
- Rust: beyond the typechecker https://blog.merigoux.ovh/en/2019/04/16/verifying-rust.html 135 comments
- GitHub - FStarLang/FStar: A Proof-oriented Programming Language https://github.com/nikswamy/fstar 60 comments
- GitHub - xgrommx/awesome-functional-programming: Yet another resource for collecting articles, videos etc. regarding functional programming https://github.com/xgrommx/awesome-functional-programming 59 comments
- Generating C code that people actually want to use | Jonathan Protzenko http://jonathan.protzenko.fr/2019/01/04/behind-the-scenes.html 56 comments
- Better Encrypted Group Chat | Trail of Bits Blog https://blog.trailofbits.com/2019/08/06/better-encrypted-group-chat/ 49 comments
- TLA+ in Practice and TheoryPart 1: The Principles of TLA+ https://pron.github.io/posts/tlaplus_part1 44 comments
- Rust: beyond the typechecker https://blog.merigoux.fr/en/2019/04/16/verifying-rust.html 33 comments
- Typestate-oriented programming in F* http://olleharstedt.github.io/fstar/2017/01/12/typestate-in-fstar.html 27 comments
- DSR enhanced security and "formal verification" course https://rentry.co/DSRsecuritycoursepart2#syd-the-perhaps-most-sophisticated-sandbox-for-linux 19 comments
- The Verification Gap: A Major Hurdle for the Industry Adoption of Formal Methods | Concerning Quality https://concerningquality.com/verification-gap/ 17 comments
- The Wizardry Frontier — Sympolymathesy, by Chris Krycho https://v5.chriskrycho.com/journal/wizardry-frontier/ 16 comments
- Implementing a vault in Bamboo. I saw vault.sol. It’s about protecting… | by Yoichi Hirai | Medium https://medium.com/@pirapira/implementing-a-vault-in-bamboo-9c08241b6755 14 comments
- GitHub - cryspen/bertie: Bertie TLS 1.3 Implementation https://github.com/cryspen/bertie 13 comments
- Increasing the Impact of PL Research | SIGPLAN Blog https://blog.sigplan.org/2020/07/29/increasing-the-impact-of-pl-research/ 9 comments
- Introducing hax 🎂 | hax https://hacspec.org/blog/posts/hax-v0-1/ 6 comments
- Simple semantics for defaults in Catala - Bob Atkey https://bentnib.org/posts/2023-01-16-catala.html 3 comments
- Blockstream https://blog.blockstream.com/half-aggregation-of-bip-340-signatures/ 2 comments
- GitHub - yallop/effects-bibliography: A collaborative bibliography of work related to the theory and practice of computational effects https://github.com/yallop/effects-bibliography 1 comment
- GitHub - FStarLang/FStar: A Proof-oriented Programming Language https://github.com/FStarLang/FStar 1 comment
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:fstar-lang.org
Search title: F*: A Proof-Oriented Programming Language
See how to search.