Home › Entities › organization › AdaCore

AdaCore

provider of software development and verification tools based in New-York and Paris
Organization organization Q4678216

Facts

9 properties
Instance of
organization
Inception
1994[4]
Headquarters location
New York[3]
Country
United States[2]
⚖ sources disagree Wikidata United States ROR France edition 2026-09-26 · cc0-1.0+geonames-cc-by-4.0 ↗
Official website
www.adacore.com[5]
Legal form
6CHY[7]as of 2026-09-24may be stale
where from?
Edition
20260924-full · as of 2026-09-24 · newer edition 20261104 landed
Bronze
d1b68a0396f7f150… 20260924-0000-gleif-goldencopy-lei2-golden-copy.csv.zip +2 files
Transform
4ort-mint · gleif · version not recorded
Located in the administrative territorial entity
Paris[1]as of 2026-10-21
where from?
Edition
20261021 · as of 2026-10-21
Bronze
7a7bf58d5ac18436… v2.15-2026-10-20-ror-data.zip
Transform
4ort-mint · ror:20261021 · version not recorded
P14750
4A1A-9031-27E6-7D01-3197[8]
Product or material produced
GNAT Programming Studio[6]
🏷️ Also known as
en ACT en AdaCore en AdaCore SAS (Paris) en Ada Core Technologies en Ada Core Technologies Inc. (New-York) zh AdaCore公司
🔖 Identifiers · 9
ROR ID
00fpt6s33
Legal Entity Identifier
969500LY4OEJV132WI87as of 2026-09-24may be stale
where from?
Edition
20260924-full · as of 2026-09-24 · newer edition 20261104 landed
Bronze
d1b68a0396f7f150… 20260924-0000-gleif-goldencopy-lei2-golden-copy.csv.zip +2 files
Transform
4ort-mint · gleif · version not recorded
VIAF cluster ID
313565953
GRID ID
grid.432242.1
Crunchbase organization ID
adacore
Freebase ID
/m/085jpf
IdRef ID
178708364
Quora topic ID
AdaCore
Scilit organization ID
24019

Report an error or request removal Lineage (PROV-JSON)

⛏️ Lake Facts · open-dataset statements via 4ort-mint

From open datasets, joined by identifier and shown only for properties Wikidata does not state on this entity — except where the dataset is the registry authority for the fact (ClinicalTrials.gov on trial registration data): there its value is shown instead, with Wikidata's noted beside it. Every row carries its dataset edition and licence.

OpenAlex IDP10283
I4210093031 2026-09-27 OpenAlex (CC0 1.0) as of 2026-09-27
where from?
Source
OpenAlex
Edition
20260927 · as of 2026-09-27
Licence
CC0 1.0
Credit
CC0 1.0 (OpenAlex snapshot, openalex.org). Values as shipped.
Bronze
not in the catalog
Transform
4ort-mint · lake · version not recorded
CC0 1.0 (OpenAlex snapshot, openalex.org). Values as shipped.
🔗 Connections
← Affiliated with 1
Yannick Moy
Press Enter · cited answer in seconds

References

Programmatic citations — every numbered marker resolves to a verifiable graph row below.

Direct Wikidata claims

  1. [2] ↑ . wikidata.org.
  2. [1] ↑ . ror.org. Retrieved . ror.org. Provenance: wikidata.org.
  3. [3] ↑ . adacore.com. Retrieved . adacore.com. Provenance: wikidata.org.
  4. [4] ↑ . wikidata.org.
  5. [5] ↑ . wikidata.org.
  6. [6] ↑ . wikidata.org.
  7. [7] ↑ . Retrieved . wikidata.org.
  8. [8] ↑ . wikidata.org.

📑 Cite this page

Use these citations when quoting this entity in research, articles, AI prompts, or wherever provenance matters. We aggregate Wikidata + Wikipedia + authoritative open-data sources; the stitched, scored, cross-referenced view is what 4ort.xyz contributes.

APA 4ort.xyz Knowledge Graph. (2026). AdaCore. Retrieved November 2, 2026, from https://4ort.xyz/entity/adacore
MLA “AdaCore.” 4ort.xyz Knowledge Graph, 4ort.xyz, 2 Nov. 2026, https://4ort.xyz/entity/adacore.
BibTeX @misc{4ortxyz_adacore_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{AdaCore}}, year = {2026}, url = {https://4ort.xyz/entity/adacore}, note = {Accessed: 2026-11-02}}
LLM prompt According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): AdaCore — https://4ort.xyz/entity/adacore (retrieved 2026-11-02)

Canonical URL: https://4ort.xyz/entity/adacore · Last refreshed:

Edit History

Rolling log of changes to this entity's Wikidata record. Values shown reflect the current state of each edited property — follow the history link to see the precise diff for any edit.

  1. 10w ago · Trivialist · 2026-08-22 view diff on Wikidata ↗
    VIAF cluster ID → 313565953
    Imported from → —
    Country → United States
    Logo image → AdaCore.svg, AdaCore BW.svg
    + 15 other properties edited (see Wikidata diff for full list)
    "/* wbcreateclaim-create:1| */ P14750: 4A1A-9031-27E6-7D01-3197, [[:toollabs:quickstatements/#/batch/269257|batch #269257]]"
Live feed via Wikidata EventStreams. New edits appear within minutes of being made on Wikidata.