{"adoption": {"forks": 193, "observed_at": "2026-08-28T04:05:42.787354+00:00", "stars": 1837}, "canonical_url": "https://ross.abutalabs.com/products/hacl-star", "card": {"archived": false, "artifact_type": "library", "description": "HACL*, a formally verified cryptographic library written in F*", "domain": ["security", "developer-tools"], "enriched": true, "function": ["cryptography", "security"], "health_score": 72, "homepage": null, "language": "F*", "license": "Apache-2.0", "license_family": "permissive", "maturity": "active", "member_repos": ["hacl-star/hacl-star"], "name": "hacl-star/hacl-star", "platform": ["cross-platform", "c", "cpp", "wasm"], "pushed_at": "2026-06-07T03:50:52+00:00", "repo": "hacl-star/hacl-star", "stars": 1837, "tags": ["formal-verification", "fstar", "everest", "nacl", "tls-1-3", "side-channel-resistance", "research"], "topics": ["cryptography", "verified-primitives", "high-performance", "security", "formal-methods", "formal-verification", "inria", "hacl", "everest", "verification"], "urls": [], "use_cases": ["verify cryptographic primitives for memory safety and correctness", "integrate high-assurance crypto into a C project", "get timing side-channel resistant implementations of Ed25519 or AES-GCM", "support NaCl API or TLS 1.3 ciphersuites with verified code", "compile verified crypto to WebAssembly", "automatically pick the fastest verified crypto implementation per CPU"], "what_it_is": "HACL* is a formally verified cryptographic library written in F* (Low*) and compiled to efficient standalone C code, covering algorithms like Curve25519, Ed25519, AES-GCM, ChaCha20, Poly1305, SHA-2/3, HMAC, and HKDF. It includes ValeCrypt for verified assembly implementations and EverCrypt, an agile provider that multiplexes the fastest verified implementation per platform.", "when_to_avoid": ["you need production-ready packages, bindings, and documentation - use cryspen/hacl-packages instead", "you need a broad algorithm catalog beyond the supported modern primitives", "you are not comfortable tracking F* master and a research codebase"], "when_to_choose": ["you need formally proven memory safety, functional correctness, and secret independence", "you want high-performance verified C code for modern primitives like Curve25519 or ChaCha20-Poly1305", "your project can tolerate a research-oriented codebase"]}, "data_as_of": "2026-08-30T08:39:29.467469+00:00", "members": [{"path": "/products/hacl-star", "repo": "hacl-star/hacl-star", "role": "main", "score": 62}], "provenance": {"archived": {"kind": "observed", "observed_at": "2026-08-28T04:05:42.787354+00:00", "source": "github"}, "artifact_type": {"confidence": null, "enriched_at": "2026-08-30T03:18:26.156637+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "beffdd0a6d19df13ce9579db924763ba345c36a656fcc7a763a961c2fa5508b8", "fetched_at": "2026-08-28T04:05:42.787354+00:00", "kind": "readme", "missing": false, "url": "https://github.com/hacl-star/hacl-star"}], "taxonomy_version": 1}, "description": {"kind": "observed", "observed_at": "2026-08-28T04:05:42.787354+00:00", "source": "github"}, "domain": {"confidence": null, "enriched_at": "2026-08-30T03:18:26.156637+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "beffdd0a6d19df13ce9579db924763ba345c36a656fcc7a763a961c2fa5508b8", "fetched_at": "2026-08-28T04:05:42.787354+00:00", "kind": "readme", "missing": false, "url": "https://github.com/hacl-star/hacl-star"}], "taxonomy_version": 1}, "enriched": {"inputs": [], "kind": "computed", "method": "enrichment_status"}, "function": {"confidence": null, "enriched_at": "2026-08-30T03:18:26.156637+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "beffdd0a6d19df13ce9579db924763ba345c36a656fcc7a763a961c2fa5508b8", "fetched_at": "2026-08-28T04:05:42.787354+00:00", "kind": "readme", "missing": false, "url": "https://github.com/hacl-star/hacl-star"}], "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:05:42.787354+00:00", "source": "github"}, "language": {"kind": "observed", "observed_at": "2026-08-28T04:05:42.787354+00:00", "source": "github"}, "license": {"kind": "observed", "observed_at": "2026-08-28T04:05:42.787354+00:00", "source": "github"}, "license_family": {"inputs": ["license"], "kind": "computed", "method": "license_family"}, "maturity": {"confidence": null, "enriched_at": "2026-08-30T03:18:26.156637+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "beffdd0a6d19df13ce9579db924763ba345c36a656fcc7a763a961c2fa5508b8", "fetched_at": "2026-08-28T04:05:42.787354+00:00", "kind": "readme", "missing": false, "url": "https://github.com/hacl-star/hacl-star"}], "taxonomy_version": 1}, "member_repos": {"kind": "observed", "observed_at": "2026-08-28T04:05:42.787354+00:00", "source": "github"}, "name": {"kind": "observed", "observed_at": "2026-08-28T04:05:42.787354+00:00", "source": "github"}, "platform": {"confidence": null, "enriched_at": "2026-08-30T03:18:26.156637+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "beffdd0a6d19df13ce9579db924763ba345c36a656fcc7a763a961c2fa5508b8", "fetched_at": "2026-08-28T04:05:42.787354+00:00", "kind": "readme", "missing": false, "url": "https://github.com/hacl-star/hacl-star"}], "taxonomy_version": 1}, "pushed_at": {"kind": "observed", "observed_at": "2026-08-28T04:05:42.787354+00:00", "source": "github"}, "repo": {"kind": "observed", "observed_at": "2026-08-28T04:05:42.787354+00:00", "source": "github"}, "stars": {"kind": "observed", "observed_at": "2026-08-28T04:05:42.787354+00:00", "source": "github"}, "tags": {"confidence": null, "enriched_at": "2026-08-30T03:18:26.156637+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "beffdd0a6d19df13ce9579db924763ba345c36a656fcc7a763a961c2fa5508b8", "fetched_at": "2026-08-28T04:05:42.787354+00:00", "kind": "readme", "missing": false, "url": "https://github.com/hacl-star/hacl-star"}], "taxonomy_version": 1}, "topics": {"kind": "observed", "observed_at": "2026-08-28T04:05:42.787354+00:00", "source": "github"}, "urls": {"kind": "observed", "observed_at": "2026-08-28T04:05:42.787354+00:00", "source": "github"}, "use_cases": {"confidence": null, "enriched_at": "2026-08-30T03:18:26.156637+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "beffdd0a6d19df13ce9579db924763ba345c36a656fcc7a763a961c2fa5508b8", "fetched_at": "2026-08-28T04:05:42.787354+00:00", "kind": "readme", "missing": false, "url": "https://github.com/hacl-star/hacl-star"}], "taxonomy_version": 1}, "what_it_is": {"confidence": null, "enriched_at": "2026-08-30T03:18:26.156637+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "beffdd0a6d19df13ce9579db924763ba345c36a656fcc7a763a961c2fa5508b8", "fetched_at": "2026-08-28T04:05:42.787354+00:00", "kind": "readme", "missing": false, "url": "https://github.com/hacl-star/hacl-star"}], "taxonomy_version": 1}, "when_to_avoid": {"confidence": null, "enriched_at": "2026-08-30T03:18:26.156637+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "beffdd0a6d19df13ce9579db924763ba345c36a656fcc7a763a961c2fa5508b8", "fetched_at": "2026-08-28T04:05:42.787354+00:00", "kind": "readme", "missing": false, "url": "https://github.com/hacl-star/hacl-star"}], "taxonomy_version": 1}, "when_to_choose": {"confidence": null, "enriched_at": "2026-08-30T03:18:26.156637+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "beffdd0a6d19df13ce9579db924763ba345c36a656fcc7a763a961c2fa5508b8", "fetched_at": "2026-08-28T04:05:42.787354+00:00", "kind": "readme", "missing": false, "url": "https://github.com/hacl-star/hacl-star"}], "taxonomy_version": 1}}, "score": {"components": {"activity": 86, "longevity": 100, "rhythm": 8}, "computed_at": "2026-09-02T17:46:02.011165+00:00", "flags": [], "formula": "round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)", "inputs": {"age_days": 3723, "days_push": 87, "days_rel": null, "gap_med": null, "n_releases_24m": 0}, "score": 62, "version": 2}, "staleness": {"enrichment_outdated": false, "low_confidence": false, "scrape_days": 9, "stale_scrape": false}}