What does AdaCore Sell?
High Integrity Software
Colonists dumped 342 chests into Boston Harbor, accidentally created what was technically the world's largest, saltiest this.
Tea
This classic brunch staple mixes tomato juice and vodka, effectively allowing people to convince themselves they are drinking a healthy, alcoholic salad at 10:00 AM.
Bloody Mary
This iconic American landmark wasn't originally white; it got its signature chalky paint job in 1814 specifically to hide the hideous black burn marks left behind by the British military.
White House
Despite its name, this massive marine mammal's tongue alone can weigh as much as an entire adult elephant
Blue Whale
AdaCore was officially unleashed upon the world in this specific calendar year
1994
This legendary Founding Father was such a massive fan of French wine that he racked up a personal wine debt that almost bankrupted him, and unsuccessfully tried to turn his Monticello estate into a massive vineyard.
Thomas Jefferson
Red is the title of this artist's fourth studio album
Taylor Swift
Halt! Fashion Police!
White pants are forbidden after this holiday.
Labor Day
This legendary musical genre was born in the American South is the absolute best soundtrack for when your dog leaves you and your truck breaks down.
The Blues
This foundational open-source compiler project sounds exactly like an annoying, biting backyard bug, but it is actually a massive, multi-organization mouthful that stands for this full title.
GNU NYU Ada Translator
American sci-fi pop culture changed forever thanks to a 1920 theatrical play written by an author from Czechia, who officially invented this 5-letter word to describe artificial, mechanical workers.
Robot
In a classic Spanish bullfight, this individual waves a red cape
Matador
The "Blanc" in Sauvignon Blanc means white, but the "Sauvignon" part comes from an old French word meaning this kind of untamed, rowdy behavior.
Wild
Chris Wink, Matt Goldman, and Phil Stanton are the trio in this performance art troupe.
Blue Man Group
While founders usually get all the history-book glory, this legendary compiler engineer holds the absolute corporate bragging rights of being AdaCore’s official Employee Number One.
Gary Dismukes
The very name of the American Dollar traces back to a silver coin minted in Jáchymov; a historic town located in this country, whose local currency was the Thaler.
Czechia
This mouth-drying, astringent sensation you get from drinking heavy red wines happens because these organic plant compounds bind to your saliva
Tannins
In 1843, a refinery manager in Czechia invented this neat, geometric kitchen staple because his wife cut her finger trying to chisel a chunk off a giant, rock-hard sugar loaf.
Sugar Cube
This highly sought-after blue shade was historically made by grinding up rare lapis lazuli rocks, making it so expensive that Renaissance painters generally only used it for VIPs like the Virgin Mary
Ultramarine
A Staple in the AdaCore Family; Bernard Banner started in this year.
1995
In 1859, the US and Britain nearly went to war over a border dispute in Washington state that was sparked entirely because an American farmer shot a British-owned one of these farm animals.
The Pig War
During the height of the Red Scare paranoia in the 1950s, this professional Ohio baseball team briefly changed their name to the "Redlegs" so nobody would suspect them of being communist spies.
Cincinnati Reds
Thanks to decades of unfiltered solar radiation and intense UV rays, the iconic American flags left on the moon by the Apollo astronauts have completely lost their red and blue pigments, making the moon look like it is flying six of these international symbols.
International Flag of Surrender (White Flag)
Because true blue pigment is almost entirely nonexistent in the animal kingdom, birds like Blue Jays are technically a total optical illusion; their feathers are actually this dull color, but look vibrant blue because of how microscopic air pockets scatter light.
Brown (or Grey)