{
  "ok": true,
  "listing": {
    "id": "lst_01M3N3AAX6QXH4W6YG8HHYDZ9N",
    "slug": "f-a-proof-oriented-programming-language",
    "businessName": "F*: A Proof-Oriented Programming Language",
    "legalName": "",
    "description": {
      "short": "F*: A Proof-Oriented Programming Language Introduction Download Learn Community Uses Research People Introduction F* (pronounced F star ) is a general-purpose proof-oriented programming language, supporting both purely functional and effectful programming. It combines the expressive power of dependent types with proof automation based on SMT solving and tactic-based interactive theorem proving. F* programs compile, by default, to OCaml.",
      "full": "F*: A Proof-Oriented Programming Language Introduction Download Learn Community Uses Research People Introduction F* (pronounced F star ) is a general-purpose proof-oriented programming language, supporting both purely functional and effectful programming. It combines the expressive power of dependent types with proof automation based on SMT solving and tactic-based interactive theorem proving. F* programs compile, by default, to OCaml."
    },
    "industry": "Oriented Programming Language",
    "website": "https://fstar-lang.org/",
    "rootDomain": "fstar-lang.org",
    "listingOrigin": "discovered",
    "entityType": "business",
    "entitySubtype": "commercial_organization",
    "entityClassification": {
      "type": "business",
      "subtype": "commercial_organization",
      "confidenceScore": 73,
      "classifiedAt": "2026-09-28T22:49:07.651Z",
      "government": null
    },
    "placementType": "global",
    "location": {
      "placementType": "global",
      "countryCode": "",
      "countryName": "Global",
      "flag": "",
      "region": "",
      "city": "",
      "mode": "online"
    },
    "primaryCategory": null,
    "claimStatus": "unclaimed",
    "verificationStatus": "unverified",
    "verified": false,
    "businessVerification": {
      "applicable": true,
      "status": "pending",
      "level": "none",
      "label": "Not Registry Verified",
      "badgeColor": "neutral",
      "countsAsVerified": false,
      "authority": null,
      "registryId": null,
      "matchScore": 0,
      "authorityCode": null,
      "lei": null,
      "jurisdiction": null,
      "registeredLegalName": null,
      "registryStatus": null,
      "registryUrl": null,
      "checkedAt": null,
      "verifiedAt": null,
      "nextCheckAt": null
    },
    "businessVerified": false,
    "commercialStatus": "free",
    "agentStatus": "active",
    "paidProfile": false,
    "freshnessStatus": "current",
    "media": {
      "logo": "https://fstar-lang.org/favicon.ico",
      "explicitLogo": null,
      "favicon": null,
      "fallback": "https://fstar-lang.org/favicon.ico"
    },
    "scores": {
      "dataConfidence": 80,
      "quality": 80,
      "verification": 0
    },
    "qualityScore": 80,
    "urls": {
      "directory": "https://directory.websdocs.com/business/f-a-proof-oriented-programming-language",
      "json": "https://directory.websdocs.com/business/f-a-proof-oriented-programming-language.json",
      "website": "https://fstar-lang.org/",
      "gateway": null
    },
    "publishedAt": "2026-09-28T22:49:08.412Z",
    "updatedAt": "2026-09-28T22:49:18.811Z",
    "organizationType": "organization",
    "language": {
      "primary": "en",
      "supported": [
        "en"
      ],
      "currencies": []
    },
    "categories": [
      {
        "slug": "other-businesses",
        "name": "Other Businesses & Services",
        "primary": true,
        "confidenceScore": 35
      }
    ],
    "services": [],
    "products": [],
    "agentCapabilities": [
      {
        "key": "booking",
        "name": "Online booking",
        "description": "Detected from public website navigation or discovery metadata.",
        "protocol": "http",
        "actionUrl": "https://fstar-lang.org/tutorial/book/pulse/pulse.html",
        "method": "GET",
        "authenticationRequired": false
      },
      {
        "key": "support",
        "name": "Online support",
        "description": "Detected from public website navigation or discovery metadata.",
        "protocol": "http",
        "actionUrl": "https://fstar.zulipchat.com/",
        "method": "GET",
        "authenticationRequired": false
      }
    ],
    "contacts": [
      {
        "type": "email",
        "label": "Public email",
        "value": "fstar-maintainers@googlegroups.com",
        "url": "https://mailto:fstar-maintainers@googlegroups.com/",
        "platform": "email",
        "primary": true,
        "verificationStatus": "public_source"
      },
      {
        "type": "phone",
        "label": "Public phone",
        "value": "1907.05244",
        "url": null,
        "platform": "phone",
        "primary": false,
        "verificationStatus": "public_source"
      },
      {
        "type": "social",
        "label": "github",
        "value": "https://github.com/FStarLang/karamel",
        "url": "https://github.com/FStarLang/karamel",
        "platform": "github",
        "primary": false,
        "verificationStatus": "public_source"
      },
      {
        "type": "social",
        "label": "github",
        "value": "https://github.com/project-everest/vale",
        "url": "https://github.com/project-everest/vale",
        "platform": "github",
        "primary": false,
        "verificationStatus": "public_source"
      },
      {
        "type": "social",
        "label": "github",
        "value": "https://github.com/FStarLang/FStar",
        "url": "https://github.com/FStarLang/FStar",
        "platform": "github",
        "primary": false,
        "verificationStatus": "public_source"
      },
      {
        "type": "social",
        "label": "github",
        "value": "https://github.com/fstarlang/fstar/releases",
        "url": "https://github.com/fstarlang/fstar/releases",
        "platform": "github",
        "primary": false,
        "verificationStatus": "public_source"
      },
      {
        "type": "social",
        "label": "github",
        "value": "https://github.com/FStarLang/FStar/blob/master/INSTALL.md",
        "url": "https://github.com/FStarLang/FStar/blob/master/INSTALL.md",
        "platform": "github",
        "primary": false,
        "verificationStatus": "public_source"
      },
      {
        "type": "social",
        "label": "github",
        "value": "https://github.com/FStarLang/FStar/discussions",
        "url": "https://github.com/FStarLang/FStar/discussions",
        "platform": "github",
        "primary": false,
        "verificationStatus": "public_source"
      },
      {
        "type": "social",
        "label": "github",
        "value": "https://github.com/hacl-star/hacl-star/tree/main/vale",
        "url": "https://github.com/hacl-star/hacl-star/tree/main/vale",
        "platform": "github",
        "primary": false,
        "verificationStatus": "public_source"
      },
      {
        "type": "social",
        "label": "github",
        "value": "https://github.com/torvalds/linux/blob/0f2a4af27b649c13ba76431552fe49c60120d0f6/lib/crypto/curve25519-hacl64.c",
        "url": "https://github.com/torvalds/linux/blob/0f2a4af27b649c13ba76431552fe49c60120d0f6/lib/crypto/curve25519-hacl64.c",
        "platform": "github",
        "primary": false,
        "verificationStatus": "public_source"
      },
      {
        "type": "social",
        "label": "github",
        "value": "https://github.com/python/cpython/issues/99108",
        "url": "https://github.com/python/cpython/issues/99108",
        "platform": "github",
        "primary": false,
        "verificationStatus": "public_source"
      },
      {
        "type": "social",
        "label": "github",
        "value": "https://github.com/Mbed-TLS/mbedtls/blob/development/3rdparty/everest/",
        "url": "https://github.com/Mbed-TLS/mbedtls/blob/development/3rdparty/everest/",
        "platform": "github",
        "primary": false,
        "verificationStatus": "public_source"
      },
      {
        "type": "social",
        "label": "github",
        "value": "https://github.com/microsoft/ebpf-for-windows",
        "url": "https://github.com/microsoft/ebpf-for-windows",
        "platform": "github",
        "primary": false,
        "verificationStatus": "public_source"
      },
      {
        "type": "social",
        "label": "github",
        "value": "https://github.com/FStarLang/FStar/graphs/contributors",
        "url": "https://github.com/FStarLang/FStar/graphs/contributors",
        "platform": "github",
        "primary": false,
        "verificationStatus": "public_source"
      },
      {
        "type": "social",
        "label": "github",
        "value": "https://github.com/beurdouche/",
        "url": "https://github.com/beurdouche/",
        "platform": "github",
        "primary": false,
        "verificationStatus": "public_source"
      },
      {
        "type": "social",
        "label": "github",
        "value": "https://github.com/mateuszbujalski",
        "url": "https://github.com/mateuszbujalski",
        "platform": "github",
        "primary": false,
        "verificationStatus": "public_source"
      },
      {
        "type": "social",
        "label": "github",
        "value": "https://github.com/tchajed",
        "url": "https://github.com/tchajed",
        "platform": "github",
        "primary": false,
        "verificationStatus": "public_source"
      },
      {
        "type": "social",
        "label": "github",
        "value": "https://github.com/victor-dumitrescu",
        "url": "https://github.com/victor-dumitrescu",
        "platform": "github",
        "primary": false,
        "verificationStatus": "public_source"
      },
      {
        "type": "social",
        "label": "github",
        "value": "https://github.com/Armael",
        "url": "https://github.com/Armael",
        "platform": "github",
        "primary": false,
        "verificationStatus": "public_source"
      },
      {
        "type": "social",
        "label": "github",
        "value": "https://github.com/qunyanm",
        "url": "https://github.com/qunyanm",
        "platform": "github",
        "primary": false,
        "verificationStatus": "public_source"
      },
      {
        "type": "social",
        "label": "github",
        "value": "https://github.com/A-Manning",
        "url": "https://github.com/A-Manning",
        "platform": "github",
        "primary": false,
        "verificationStatus": "public_source"
      },
      {
        "type": "social",
        "label": "linkedin",
        "value": "https://www.linkedin.com/in/cezar-andrici-49771663/",
        "url": "https://www.linkedin.com/in/cezar-andrici-49771663/",
        "platform": "linkedin",
        "primary": false,
        "verificationStatus": "public_source"
      }
    ],
    "serviceAreas": [],
    "sources": [
      {
        "type": "website",
        "url": "https://fstar-lang.org/",
        "title": "F*: A Proof-Oriented Programming Language",
        "primary": true,
        "lastObservedAt": "2026-09-28T22:48:47.251Z"
      },
      {
        "type": "website",
        "url": "https://fstar-lang.org/papers/dm4free/",
        "title": "Dijkstra Monads for Free",
        "primary": false,
        "lastObservedAt": "2026-09-28T22:48:47.251Z"
      },
      {
        "type": "website",
        "url": "https://fstar-lang.org/papers/steel/",
        "title": "Steel: Proof-oriented Programming in a Dependently Typed Concurrent Separation Logic",
        "primary": false,
        "lastObservedAt": "2026-09-28T22:48:47.251Z"
      },
      {
        "type": "website",
        "url": "https://fstar-lang.org/papers/mumon/",
        "title": "Dependent Types and Multi-monadic Effects in F*",
        "primary": false,
        "lastObservedAt": "2026-09-28T22:48:47.251Z"
      },
      {
        "type": "website",
        "url": "https://fstar-lang.org/fstar_bib.html",
        "title": "F*: A Proof-Oriented Programming Language",
        "primary": false,
        "lastObservedAt": "2026-09-28T22:48:47.251Z"
      },
      {
        "type": "website",
        "url": "https://fstar-lang.org/people.html",
        "title": "F*: A Proof-Oriented Programming Language",
        "primary": false,
        "lastObservedAt": "2026-09-28T22:48:47.251Z"
      },
      {
        "type": "website",
        "url": "https://fstar-lang.org/index.html",
        "title": "F*: A Proof-Oriented Programming Language",
        "primary": false,
        "lastObservedAt": "2026-09-28T22:48:47.251Z"
      },
      {
        "type": "website",
        "url": "https://fstar-lang.org/tutorial/",
        "title": "F* Tutorial",
        "primary": false,
        "lastObservedAt": "2026-09-28T22:48:47.251Z"
      }
    ],
    "timestamps": {
      "firstDiscoveredAt": "2026-09-28T22:48:47.251Z",
      "lastCrawledAt": "2026-09-28T22:49:08.412Z",
      "lastVerifiedAt": null,
      "publishedAt": "2026-09-28T22:49:08.412Z",
      "updatedAt": "2026-09-28T22:49:18.811Z"
    },
    "gatewayDiscovery": {
      "status": "unmapped",
      "activeAgent": false,
      "urls": {},
      "capabilities": {
        "ask": false,
        "checkout": false
      },
      "checkedAt": null
    },
    "quoteRequest": {
      "available": false,
      "endpoint": null
    }
  },
  "canonicalUrl": "https://directory.websdocs.com/business/f-a-proof-oriented-programming-language",
  "generatedAt": "2026-09-29T00:36:03.948Z"
}