fedistats
  • Trends
  • Search
  • Topics
  • Nodes
< back

fstar-lang.org

4 14
A chart of hourly posts over the last week (for big screens). A chart of hourly posts over the last week (for small screens).
English(4)
#fstar(1) #security(1) #programming(1)

From fstar-lang.org

F*: A Proof-Oriented Programming Language

4 12

#fstar #security #programming

on Oct 31

From ycombinator.com

http://news.ycombinator.com/item?id=42508642

1 1

From ycombinator.com

F*: A proof oriented general purpose programming language | Hacker News

2 7

#tech #hackernews

9h ago

(Showing 3 out of 3.)