Hacker GitHub

← All repos

FStarLang/FStar

View on GitHub ↗ ★ 3,132 F*

A Proof-oriented Programming Language

13 mentions on Hacker News by 12 people: 1 story, 12 comments · first 2015-04-29 · latest 2026-09-15

Mentions per year 13 mentions · busiest year 2015 (3)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 10
    F* – Microsoft's programming language with a superset of features over F#
    story by philonoist · 2022-07-07 · 1 comment