{"adoption": {"forks": 262, "observed_at": "2026-08-28T04:07:43.509660+00:00", "stars": 3100}, "canonical_url": "https://ross.abutalabs.com/products/fstar", "card": {"archived": false, "artifact_type": "cli-tool", "description": "A Proof-oriented Programming Language", "domain": ["programming-languages", "compilers", "security"], "enriched": true, "function": ["programming-language", "compiler", "type-system", "interpreter"], "health_score": 100, "homepage": "https://fstar-lang.org", "language": "F*", "license": "Apache-2.0", "license_family": "permissive", "maturity": "active", "member_repos": ["FStarLang/FStar"], "name": "FStarLang/FStar", "platform": ["windows", "cross-platform", "cli"], "pushed_at": "2026-08-26T21:40:07+00:00", "repo": "FStarLang/FStar", "stars": 3100, "tags": ["proof-assistant", "dependent-types", "smt-solver", "theorem-proving", "program-verification", "formal-methods", "code-extraction", "ocaml", "f-sharp", "karamel", "algorithms", "linux", "macos"], "topics": ["programming-language", "verification", "dependent-types", "smt", "theorem-proving", "proof-assistant", "ocaml", "f-sharp", "c-language", "fstar", "interactive-theorem-proving", "dijkstra-monads", "program-proof"], "urls": [], "use_cases": ["formally verify program correctness", "prove security properties of cryptographic code", "write verified low-level C code via Low* and KaRaMeL", "learn dependent types and interactive theorem proving", "verify concurrent imperative programs with Pulse", "extract verified code to OCaml or F#"], "what_it_is": "F* is a general-purpose proof-oriented programming language combining dependent types with SMT-based proof automation and interactive theorem proving. It verifies programs by default and can extract them to OCaml, F#, C, Wasm, or assembly via companion tools like KaRaMeL and Vale.", "when_to_avoid": ["you just need a general-purpose language for ordinary application development without proofs", "your team has no background in formal methods or type theory", "you need fast iteration without a verification-oriented workflow"], "when_to_choose": ["you need machine-checked proofs of program correctness or security", "you want a dependently typed language with SMT-backed automation", "you are verifying cryptographic or low-level implementations like those in Project Everest"]}, "data_as_of": "2026-08-30T08:39:29.467469+00:00", "members": [{"path": "/products/fstar", "repo": "FStarLang/FStar", "role": "main", "score": 99}], "provenance": {"archived": {"kind": "observed", "observed_at": "2026-08-28T04:07:43.509660+00:00", "source": "github"}, "artifact_type": {"confidence": null, "enriched_at": "2026-08-30T07:27:00.714852+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "bb6031f9bc5a4e324c22c4594ee5b144d8418d854c5d337b68aba418794e3c42", "fetched_at": "2026-08-28T04:07:43.509660+00:00", "kind": "readme", "missing": false, "url": "https://github.com/FStarLang/FStar"}, {"content_hash": "736d996a3316fa6daefed2ff67ab663c781e579cc53bd45ee9fa90686226ba69", "fetched_at": "2026-08-29T09:42:15.003567+00:00", "kind": "homepage", "missing": false, "url": "https://fstar-lang.org"}], "taxonomy_version": 1}, "description": {"kind": "observed", "observed_at": "2026-08-28T04:07:43.509660+00:00", "source": "github"}, "domain": {"confidence": null, "enriched_at": "2026-08-30T07:27:00.714852+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "bb6031f9bc5a4e324c22c4594ee5b144d8418d854c5d337b68aba418794e3c42", "fetched_at": "2026-08-28T04:07:43.509660+00:00", "kind": "readme", "missing": false, "url": "https://github.com/FStarLang/FStar"}, {"content_hash": "736d996a3316fa6daefed2ff67ab663c781e579cc53bd45ee9fa90686226ba69", "fetched_at": "2026-08-29T09:42:15.003567+00:00", "kind": "homepage", "missing": false, "url": "https://fstar-lang.org"}], "taxonomy_version": 1}, "enriched": {"inputs": [], "kind": "computed", "method": "enrichment_status"}, "function": {"confidence": null, "enriched_at": "2026-08-30T07:27:00.714852+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "bb6031f9bc5a4e324c22c4594ee5b144d8418d854c5d337b68aba418794e3c42", "fetched_at": "2026-08-28T04:07:43.509660+00:00", "kind": "readme", "missing": false, "url": "https://github.com/FStarLang/FStar"}, {"content_hash": "736d996a3316fa6daefed2ff67ab663c781e579cc53bd45ee9fa90686226ba69", "fetched_at": "2026-08-29T09:42:15.003567+00:00", "kind": "homepage", "missing": false, "url": "https://fstar-lang.org"}], "taxonomy_version": 1}, "health_score": {"inputs": ["days_since_push", "days_since_release", "archived"], "kind": "computed", "method": "health_v1"}, "homepage": {"kind": "observed", "observed_at": "2026-08-28T04:07:43.509660+00:00", "source": "github"}, "language": {"kind": "observed", "observed_at": "2026-08-28T04:07:43.509660+00:00", "source": "github"}, "license": {"kind": "observed", "observed_at": "2026-08-28T04:07:43.509660+00:00", "source": "github"}, "license_family": {"inputs": ["license"], "kind": "computed", "method": "license_family"}, "maturity": {"confidence": null, "enriched_at": "2026-08-30T07:27:00.714852+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "bb6031f9bc5a4e324c22c4594ee5b144d8418d854c5d337b68aba418794e3c42", "fetched_at": "2026-08-28T04:07:43.509660+00:00", "kind": "readme", "missing": false, "url": "https://github.com/FStarLang/FStar"}, {"content_hash": "736d996a3316fa6daefed2ff67ab663c781e579cc53bd45ee9fa90686226ba69", "fetched_at": "2026-08-29T09:42:15.003567+00:00", "kind": "homepage", "missing": false, "url": "https://fstar-lang.org"}], "taxonomy_version": 1}, "member_repos": {"kind": "observed", "observed_at": "2026-08-28T04:07:43.509660+00:00", "source": "github"}, "name": {"kind": "observed", "observed_at": "2026-08-28T04:07:43.509660+00:00", "source": "github"}, "platform": {"confidence": null, "enriched_at": "2026-08-30T07:27:00.714852+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "bb6031f9bc5a4e324c22c4594ee5b144d8418d854c5d337b68aba418794e3c42", "fetched_at": "2026-08-28T04:07:43.509660+00:00", "kind": "readme", "missing": false, "url": "https://github.com/FStarLang/FStar"}, {"content_hash": "736d996a3316fa6daefed2ff67ab663c781e579cc53bd45ee9fa90686226ba69", "fetched_at": "2026-08-29T09:42:15.003567+00:00", "kind": "homepage", "missing": false, "url": "https://fstar-lang.org"}], "taxonomy_version": 1}, "pushed_at": {"kind": "observed", "observed_at": "2026-08-28T04:07:43.509660+00:00", "source": "github"}, "repo": {"kind": "observed", "observed_at": "2026-08-28T04:07:43.509660+00:00", "source": "github"}, "stars": {"kind": "observed", "observed_at": "2026-08-28T04:07:43.509660+00:00", "source": "github"}, "tags": {"confidence": null, "enriched_at": "2026-08-30T07:27:00.714852+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "bb6031f9bc5a4e324c22c4594ee5b144d8418d854c5d337b68aba418794e3c42", "fetched_at": "2026-08-28T04:07:43.509660+00:00", "kind": "readme", "missing": false, "url": "https://github.com/FStarLang/FStar"}, {"content_hash": "736d996a3316fa6daefed2ff67ab663c781e579cc53bd45ee9fa90686226ba69", "fetched_at": "2026-08-29T09:42:15.003567+00:00", "kind": "homepage", "missing": false, "url": "https://fstar-lang.org"}], "taxonomy_version": 1}, "topics": {"kind": "observed", "observed_at": "2026-08-28T04:07:43.509660+00:00", "source": "github"}, "urls": {"kind": "observed", "observed_at": "2026-08-28T04:07:43.509660+00:00", "source": "github"}, "use_cases": {"confidence": null, "enriched_at": "2026-08-30T07:27:00.714852+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "bb6031f9bc5a4e324c22c4594ee5b144d8418d854c5d337b68aba418794e3c42", "fetched_at": "2026-08-28T04:07:43.509660+00:00", "kind": "readme", "missing": false, "url": "https://github.com/FStarLang/FStar"}, {"content_hash": "736d996a3316fa6daefed2ff67ab663c781e579cc53bd45ee9fa90686226ba69", "fetched_at": "2026-08-29T09:42:15.003567+00:00", "kind": "homepage", "missing": false, "url": "https://fstar-lang.org"}], "taxonomy_version": 1}, "what_it_is": {"confidence": null, "enriched_at": "2026-08-30T07:27:00.714852+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "bb6031f9bc5a4e324c22c4594ee5b144d8418d854c5d337b68aba418794e3c42", "fetched_at": "2026-08-28T04:07:43.509660+00:00", "kind": "readme", "missing": false, "url": "https://github.com/FStarLang/FStar"}, {"content_hash": "736d996a3316fa6daefed2ff67ab663c781e579cc53bd45ee9fa90686226ba69", "fetched_at": "2026-08-29T09:42:15.003567+00:00", "kind": "homepage", "missing": false, "url": "https://fstar-lang.org"}], "taxonomy_version": 1}, "when_to_avoid": {"confidence": null, "enriched_at": "2026-08-30T07:27:00.714852+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "bb6031f9bc5a4e324c22c4594ee5b144d8418d854c5d337b68aba418794e3c42", "fetched_at": "2026-08-28T04:07:43.509660+00:00", "kind": "readme", "missing": false, "url": "https://github.com/FStarLang/FStar"}, {"content_hash": "736d996a3316fa6daefed2ff67ab663c781e579cc53bd45ee9fa90686226ba69", "fetched_at": "2026-08-29T09:42:15.003567+00:00", "kind": "homepage", "missing": false, "url": "https://fstar-lang.org"}], "taxonomy_version": 1}, "when_to_choose": {"confidence": null, "enriched_at": "2026-08-30T07:27:00.714852+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "bb6031f9bc5a4e324c22c4594ee5b144d8418d854c5d337b68aba418794e3c42", "fetched_at": "2026-08-28T04:07:43.509660+00:00", "kind": "readme", "missing": false, "url": "https://github.com/FStarLang/FStar"}, {"content_hash": "736d996a3316fa6daefed2ff67ab663c781e579cc53bd45ee9fa90686226ba69", "fetched_at": "2026-08-29T09:42:15.003567+00:00", "kind": "homepage", "missing": false, "url": "https://fstar-lang.org"}], "taxonomy_version": 1}}, "score": {"components": {"activity": 99, "longevity": 100, "rhythm": 99}, "computed_at": "2026-09-03T02:20:16.233290+00:00", "flags": [], "formula": "round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)", "inputs": {"age_days": 4535, "days_push": 7, "days_rel": 10, "gap_med": 8, "n_releases_24m": 30}, "score": 99, "version": 2}, "staleness": {"enrichment_outdated": false, "low_confidence": false, "scrape_days": 9, "stale_scrape": false}}