F*: A proof oriented general purpose programming language (fstar-lang.org) | HN Screenshots

YHacker Newsscreenshots

Screenshot of fstar-lang.org: F*: A proof oriented general purpose programming language

First screen, captured 1 year ago.

Looks similar

Screenshot of fstar-lang.org: F* – A Proof-Oriented Programming Language

F* – A Proof-Oriented Programming Language (fstar-lang.org)

210 points by montyanderson 2 years ago | 79 comments

Screenshot of fstar-lang.org: F*: A general-purpose proof-oriented programming language

F*: A general-purpose proof-oriented programming language (fstar-lang.org)

171 points by ducktective 2 months ago | 78 comments

Screenshot of red-lang.org: Red Programming Language

Red Programming Language (red-lang.org)

202 points by andsoitis 3 years ago | 119 comments

Screenshot of red-lang.org: Red Programming Language

Red Programming Language (red-lang.org)

185 points by hotpocket777 1 year ago | 111 comments

Screenshot of futhark-lang.org: Futhark by example (2020)

Futhark by example (2020)(futhark-lang.org)

115 points by tosh 5 months ago | 31 comments

Screenshot of flix.dev: The Flix Programming Language

The Flix Programming Language (flix.dev)

183 points by sivakon 2 years ago | 91 comments