9front "clause 15 common elements of maus and star type" released (9front.org) | HN Screenshots

YHacker Newsscreenshots

Screenshot of 9front.org: 9front "clause 15 common elements of maus and star type" released

First screen, captured 1 year ago.

Looks similar

Screenshot of 9front.org: 9front OS

9front OS (9front.org)

31 points by doener 8 months ago | 20 comments

Screenshot of 9front.org: 9front "This Was Supposed to Be Fun" Released

9front "This Was Supposed to Be Fun" Released (9front.org)

70 points by birdculture 2 months ago | 22 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 openmw.org: OpenMW 0.50.0 Released – open-source Morrowind reimplementation

OpenMW 0.50.0 Released – open-source Morrowind reimplementation (openmw.org)

254 points by agluszak 11 months ago | 89 comments

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 proof oriented general purpose programming language

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

242 points by akkad33 1 year ago | 59 comments