---
title: "F* — Stuff That Spins"
description: "Narrative intelligence for F*: 1 tracked articles, claims, and spin patterns across AI and technology coverage."
	canonical: "https://stuffthatspins.com/entities/f"
html: "https://stuffthatspins.com/entities/f"
json: "https://stuffthatspins.com/entities/f.json"
markdown: "https://stuffthatspins.com/entities/f.md"
keywords: ["F*", "technology", "AI", "technology", "spin analysis"]
json_ld: |
  {"@context":"https://schema.org","@graph":[{"@type":"Thing","@id":"https://stuffthatspins.com/entities/f","name":"F*","description":"Narrative intelligence for F* across AI and technology coverage.","url":"https://stuffthatspins.com/entities/f","identifier":"f"},{"@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"name":"Stuff That Spins","item":"https://stuffthatspins.com/"},{"@type":"ListItem","position":2,"name":"F*","item":"https://stuffthatspins.com/entities/f"}]},{"@type":"ItemList","name":"Articles about F*","itemListElement":[{"@type":"ListItem","position":1,"url":"https://stuffthatspins.com/spin/f-a-general-purpose-proof-oriented-programming-language","name":"F*: A general-purpose proof-oriented programming language"}]}]}
---

# F*

**Type:** technology  
## Related Articles

- [F*: A general-purpose proof-oriented programming language](https://stuffthatspins.com/spin/f-a-general-purpose-proof-oriented-programming-language) — August 2, 2026

## Related Claims

_No claims extracted yet._

---
*HTML version: https://stuffthatspins.com/entities/f*