English
English Indonesia Türkçe Deutsch Español Português Pусский Français Italiano Nederlands Polski العربية ไทย Tiếng Việt 繁體中文 简体中文 日本語 한국어
AdaCoreCompany's profile picture. AdaCore helps people build safe, secure and reliable software.

AdaCore | Ada/C/C++ tools for critical software

@AdaCoreCompany

AdaCore helps people build safe, secure and reliable software.

2KPosts 2KFollowers 458Following
You might like
Pinned
AdaCoreCompany's profile picture.
AdaCore | Ada/C/C++ tools for critical software
@AdaCoreCompany
Oct 15, 2024

📽️ Discover what makes AdaCore a unique place to work in our latest video! Hear directly from our team members about their experiences, the supportive culture, and the impactful projects that make AdaCore an inspiring place to grow professionally. 👉 See how you can be a part of…

1
1
7
2
770
AdaCoreCompany's profile picture.
AdaCore | Ada/C/C++ tools for critical software
@AdaCoreCompany
Nov 13

Visit AdaCore at #HISC2025 today. See our CodeSonar and Lauterbach demos, learn how to optimise DevSecOps with Static Analysis, and watch TRACE32® in action—the industry’s first development tool suite to fully support the AdaCore GNAT Pro Ada compiler. Don’t miss AdaCore’s…

AdaCoreCompany's tweet image. Visit AdaCore at #HISC2025 today. See our CodeSonar and Lauterbach demos, learn how to optimise DevSecOps with Static Analysis, and watch TRACE32® in action—the industry’s first development tool suite to fully support the AdaCore GNAT Pro Ada compiler. Don’t miss AdaCore’s…
AdaCoreCompany's tweet image. Visit AdaCore at #HISC2025 today. See our CodeSonar and Lauterbach demos, learn how to optimise DevSecOps with Static Analysis, and watch TRACE32® in action—the industry’s first development tool suite to fully support the AdaCore GNAT Pro Ada compiler. Don’t miss AdaCore’s…
0
0
1
0
75
AdaCore | Ada/C/C++ tools for critical software reposted
EETimes_EU's profile picture.
EE Times Europe
 @EETimes_EU
Nov 12

EE Times Europe Magazine – November 2025 eetimes.eu/ee-times-europ…

EETimes_EU's tweet image. EE Times Europe Magazine – November 2025 eetimes.eu/ee-times-europ…
0
2
3
0
109
AdaCore | Ada/C/C++ tools for critical software reposted
QUANTUMpoland's profile picture.
𝗤𝗨𝗔𝗡𝗧𝗨𝗠 𝗧𝗲𝗰𝗵𝗻𝗼𝗹𝗼𝗴𝘆 𝗧𝗿𝗮𝗻𝘀𝗳𝗲𝗿 𝗖𝗼𝗿𝗽𝗼𝗿𝗮𝘁𝗶𝗼𝗻
 @QUANTUMpoland
Nov 12

Narzędzia #TRACE32® firmy #LAUTERBACH ze wsparciem kompilatora @AdaCoreCompany GNAT Pro Ada – zaprojektowanego z myślą o aplikacjach bezpieczeństwa krytycznego w sektorach lotniczym, motoryzacyjnym i obronnym. 👉 tiny.pl/xvzmd4rk #embedded #automotive #defense #AdaCore

QUANTUMpoland's tweet image. Narzędzia #TRACE32® firmy #LAUTERBACH ze wsparciem kompilatora @AdaCoreCompany GNAT Pro Ada – zaprojektowanego z myślą o aplikacjach bezpieczeństwa krytycznego w sektorach lotniczym, motoryzacyjnym i obronnym. 👉 tiny.pl/xvzmd4rk #embedded #automotive #defense #AdaCore
0
1
2
0
54
AdaCore | Ada/C/C++ tools for critical software reposted
HISC_conf's profile picture.
High Integrity Software Conference
 @HISC_conf
Jul 29

Don't miss out on your chance to sponsor #HISC2025 - Book your booth now! Gold, Silver and Startup Sponsor Packages are still available. Check out our packages here👉 his-conference.co.uk/exhibitors

HISC_conf's tweet image. Don't miss out on your chance to sponsor #HISC2025 - Book your booth now! Gold, Silver and Startup Sponsor Packages are still available. Check out our packages here👉 his-conference.co.uk/exhibitors
HISC_conf's tweet image. Don't miss out on your chance to sponsor #HISC2025 - Book your booth now! Gold, Silver and Startup Sponsor Packages are still available. Check out our packages here👉 his-conference.co.uk/exhibitors
HISC_conf's tweet image. Don't miss out on your chance to sponsor #HISC2025 - Book your booth now! Gold, Silver and Startup Sponsor Packages are still available. Check out our packages here👉 his-conference.co.uk/exhibitors
HISC_conf's tweet image. Don't miss out on your chance to sponsor #HISC2025 - Book your booth now! Gold, Silver and Startup Sponsor Packages are still available. Check out our packages here👉 his-conference.co.uk/exhibitors
0
1
1
0
151
AdaCoreCompany's profile picture.
AdaCore | Ada/C/C++ tools for critical software
@AdaCoreCompany
Jul 25

Explore how Rust is shaping the future of space exploration! Missed our live session on “Navigating Mars with Rust”? You can now watch it on demand. Discover how Rust is enabling high-assurance software for space missions, with insights into its reliability, safety, and…

AdaCoreCompany's tweet card. Learn why everyone’s talking about Rust and explore this language’s impressive capabilities.
Navigating Mars with Rust
Source: adacore.com
0
1
5
2
302
AdaCoreCompany's profile picture.
AdaCore | Ada/C/C++ tools for critical software
@AdaCoreCompany
Jun 25

🚀 Can Rust handle the challenges of space exploration? Join us live for “Navigating Mars with Rust: Putting Rust to the Test with the M.A.R.S. Rover” – Learn why everyone’s talking about Rust and explore this language’s impressive capabilities. How easy is it to start building…

AdaCoreCompany's tweet image. 🚀 Can Rust handle the challenges of space exploration? Join us live for “Navigating Mars with Rust: Putting Rust to the Test with the M.A.R.S. Rover” – Learn why everyone’s talking about Rust and explore this language’s impressive capabilities. How easy is it to start building…
0
0
4
1
3K
AdaCore | Ada/C/C++ tools for critical software reposted
BatteryVentures's profile picture.
Battery Ventures
@BatteryVentures
Jun 18

Exciting news today for Battery portfolio companies @AdaCoreCompany and @CodeSecure_: the two companies announced a definitive merger agreement, creating a unified company committed to advancing software safety, security and reliability across critical industries. As our General…

BatteryVentures's tweet image. Exciting news today for Battery portfolio companies @AdaCoreCompany and @CodeSecure_: the two companies announced a definitive merger agreement, creating a unified company committed to advancing software safety, security and reliability across critical industries. As our General…
0
1
3
0
1K
AdaCoreCompany's profile picture.
AdaCore | Ada/C/C++ tools for critical software
@AdaCoreCompany
Jun 17

In our new blog, Stephen Hedrick, Product Manager for #Rust explores navigation in difficult environments with a pathfinder for our Mars rover demo.  blog.adacore.com/navigating-mar…

AdaCoreCompany's tweet card. by Stephen Hedrick – Jun 17, 2025. This blog showcases how Rust was used to implement the D*-Lite pathfinding algorithm for an autonomous Mars rover simulation. It highlights Rust’s strengths—such as...
Navigating Mars with Rust: Developing an Autonomous Pathfinding Rover
Source: blog.adacore.com
0
0
1
0
141
AdaCoreCompany's profile picture.
AdaCore | Ada/C/C++ tools for critical software
@AdaCoreCompany
Jun 17

Modern defense depends on software. Yet we continue to accept software that is vulnerable by design. Today we are at @DARPA showcasing our work with #SPARK at the Resilient Software Systems Colloquium. Looking forward to good discussions throughout the day!

0
0
2
0
139
AdaCore | Ada/C/C++ tools for critical software reposted
Elektor's profile picture.
Elektor
@Elektor
Jun 16

High-integrity software tooling experts, @AdaCoreCompany, are delighted to announce the introduction of the Ada and SPARK programming languages into the automotive market. Together with their partner @nvidia, they are set to publish an off-the-shelf reference process, allowing…

Elektor's tweet image. High-integrity software tooling experts, @AdaCoreCompany, are delighted to announce the introduction of the Ada and SPARK programming languages into the automotive market. Together with their partner @nvidia, they are set to publish an off-the-shelf reference process, allowing…
0
3
8
1
860
AdaCoreCompany's profile picture.
AdaCore | Ada/C/C++ tools for critical software
@AdaCoreCompany
Jun 4

We are thrilled to announce that AdaCore and @nvidia are working together to bring Ada and SPARK into the heart of safety-critical automotive software development. NVIDIA has adopted these languages to support the creation of software components that meet ISO 26262 functional…

0
3
12
1
310
AdaCoreCompany's profile picture.
AdaCore | Ada/C/C++ tools for critical software
@AdaCoreCompany
May 29

Join us for a free webinar introducing SPARK, the industrial-strength language and toolset for formal verification. Discover how SPARK enables: ✅ Modular, scalable proof for embedded and high-integrity systems ✅ Automatic error detection through deductive verification ✅…

AdaCoreCompany's tweet image. Join us for a free webinar introducing SPARK, the industrial-strength language and toolset for formal verification. Discover how SPARK enables: ✅ Modular, scalable proof for embedded and high-integrity systems ✅ Automatic error detection through deductive verification ✅…
0
1
3
0
183
AdaCoreCompany's profile picture.
AdaCore | Ada/C/C++ tools for critical software
@AdaCoreCompany
May 21

Can Rust handle the demands of safety-critical, real-time software? Our latest technical paper answers this head-on, with an in-depth analysis of how Rust’s ownership model, borrowing rules, and safe pointers perform under pressure. 🚀 See why more teams are considering Rust…

AdaCoreCompany's tweet image. Can Rust handle the demands of safety-critical, real-time software? Our latest technical paper answers this head-on, with an in-depth analysis of how Rust’s ownership model, borrowing rules, and safe pointers perform under pressure. 🚀 See why more teams are considering Rust…
0
1
2
1
210
AdaCoreCompany's profile picture.
AdaCore | Ada/C/C++ tools for critical software
@AdaCoreCompany
Apr 22

🔐 Safer software starts with safer languages. In safety-critical systems, there's no room for ambiguity. Discover how Ada’s strong typing, readability, and reliability make it a powerful ally in reducing software-related risk. Explore how Ada helps developers write robust,…

AdaCoreCompany's tweet image. 🔐 Safer software starts with safer languages. In safety-critical systems, there's no room for ambiguity. Discover how Ada’s strong typing, readability, and reliability make it a powerful ally in reducing software-related risk. Explore how Ada helps developers write robust,…
0
1
11
1
325
AdaCoreCompany's profile picture.
AdaCore | Ada/C/C++ tools for critical software
@AdaCoreCompany
Apr 14

🚀 Ada Ascends into the TIOBE Index Top 15! We are delighted to announce that the Ada programming language has climbed to 15th position in the April 2025 TIOBE Software Index, marking a significant milestone in its ongoing resurgence. This achievement underscores Ada's enduring…

AdaCoreCompany's tweet image. 🚀 Ada Ascends into the TIOBE Index Top 15! We are delighted to announce that the Ada programming language has climbed to 15th position in the April 2025 TIOBE Software Index, marking a significant milestone in its ongoing resurgence. This achievement underscores Ada's enduring…
2
4
17
1
506
AdaCoreCompany's profile picture.
AdaCore | Ada/C/C++ tools for critical software
@AdaCoreCompany
Feb 24

We're thrilled to introduce the new math library for Ada: Neo-SIMD. Dive into a realm of enhanced performance and precision. Discover how Neo-SIMD can revolutionize your numerical computations by leveraging state-of-the-art SIMD technology. Whether you're working on…

AdaCoreCompany's tweet image. We're thrilled to introduce the new math library for Ada: Neo-SIMD. Dive into a realm of enhanced performance and precision. Discover how Neo-SIMD can revolutionize your numerical computations by leveraging state-of-the-art SIMD technology. Whether you're working on…
0
1
11
1
282
AdaCoreCompany's profile picture.
AdaCore | Ada/C/C++ tools for critical software
@AdaCoreCompany
Feb 20

Join our webinar on the latest GNAT Pro 25 release! Dive into the highlights of new features in the 25.0 release and get a sneak peek at our upcoming roadmap. Learn how these enhancements can elevate your software development with AdaCore. Don't miss out on expert insights and a…

AdaCoreCompany's tweet image. Join our webinar on the latest GNAT Pro 25 release! Dive into the highlights of new features in the 25.0 release and get a sneak peek at our upcoming roadmap. Learn how these enhancements can elevate your software development with AdaCore. Don't miss out on expert insights and a…
0
0
2
0
141
AdaCoreCompany's profile picture.
AdaCore | Ada/C/C++ tools for critical software
@AdaCoreCompany
Feb 18

Explore how Ada software ensures interoperability in avionics with FACE® conformance. Our latest blog dives into the verification processes that meet strict technical standards. Discover how AdaCore can support your aerospace projects. lnkd.in/eCuQbkzV

AdaCoreCompany's tweet image. Explore how Ada software ensures interoperability in avionics with FACE® conformance. Our latest blog dives into the verification processes that meet strict technical standards. Discover how AdaCore can support your aerospace projects. lnkd.in/eCuQbkzV
0
1
3
1
170
m_ou_se's profile picture. Rust dev, Electronics engineer, Author, @rustlang Library team lead, ADHD, Polyamorous, Lesbian, She/Her

Mara

@m_ou_se
hackaday's profile picture. 🔥 Read: https://t.co/KG4TpCzO7H ☠️ Contribute: tips at hackaday dot com 👉 Projects: @hackadayio #Fediverse: @hackaday@hackaday.social 📒 Learn: https://t.co/p1jaCktSDt

hackaday

@hackaday
adafruit's profile picture. Brooklyn, NY USA - Manufacturer, open-source hardware, certified Minority and Woman-owned Business Enterprise (M/WBE) X account managed by @ladyada & @ptorrone

adafruit industries

@adafruit
RustTrending's profile picture. Automated bot tweeting trending Rust repositories on GitHub. Not an official @github or @rustlang product. Made by @pbzweihander_rs, but not curated by.

Rust Trending

@RustTrending
phoronix's profile picture. Founded by @MichaelLarabel in 2004, Phoronix is the largest #opensource news, #Linux hardware reviews & Linux PC/server/HPC performance benchmark site.

Phoronix

@phoronix
embedsys's profile picture. The embedded systems newsletter. Subscribe here https://t.co/MttQM3M7kU. Weekly selection of embedded software and hardware articles. Hand-made, on Friday

Embedded Systems

@embedsys
slashdot's profile picture. News for Nerds, Stuff that Matters. Slashdot is also one of the world's largest & most trusted B2B software review & comparison websites. #Tech #Software #B2B

Slashdot

@slashdot
rustlang's profile picture. A programming language empowering everyone to build reliable and efficient software. ** This account is no longer active. Follow us on other platforms! **

Rust Language

@rustlang
arduino's profile picture. Arduino is a global leader in open-source hardware and software, with over 30 million developers worldwide.

Arduino

@arduino
adaprogrammers's profile picture. Write in Ada, make better software! https://t.co/0OdLbtrYZ6 Account maintained by some people from @AdaCoreCompany. #MakewithAda

Ada Programmers

@adaprogrammers
EETimes_EU's profile picture. News, analysis, and perspective on the European electronics industry.

EE Times Europe

@EETimes_EU
CodeSecure_'s profile picture. When Safety and Security Matter. Leading developer of software assurance tools and advanced cyber-security solutions.

CodeSecure

@CodeSecure_
BatteryVentures's profile picture. Investing in technology companies globally since 1983 with offices in Boston, San Francisco, Menlo Park, New York, London and Tel Aviv.

Battery Ventures

@BatteryVentures
Elektor's profile picture. Publisher of Elektor and developer/distributor of electronics boards/kits & books for engineers and developers. Stay updated on practical tech and trends.

Elektor

@Elektor
WevolverApp's profile picture. Wevolver is the platform that provides the knowledge and connections to develop better technology.

Wevolver

@WevolverApp
ipxchangetech's profile picture. Speed up your discovery, selection and evaluation of the latest disruptive electronic components with ipXchange!

ipXchange

@ipxchangetech
RustNationUK's profile picture. Rust Nation is Europe's largest conference dedicated to the Rust programming language. Returning to London on 18th-19th February 2026, get your spot now!

Rust Nation UK 🦀

@RustNationUK
TheFastMode's profile picture. Never miss a beat in telecoms. Catch the latest news here: https://t.co/kUrGBrJdhO.

The Fast Mode

@TheFastMode
esg_global's profile picture. An IT analyst, research, validation, and strategy firm that provides market intelligence and actionable insight to the global IT community.

Enterprise Strategy Group

@esg_global
WinSystemsInc's profile picture. WINSYSTEMS designs & manufactures high reliability single board computers (#SBC), expansion cards and #embedded PC's for #OEM and industrial products.

WinSystems

@WinSystemsInc
KarelGardas's profile picture. I work with C/C++/Haskell/Java/Python/Rust/Scheme/SmallTalk on Unix(-like) OSes mostly. @KarelGardas@bsd.network

Karel Gardas

@KarelGardas
jcazevedo's profile picture. I write code.

Joao Azevedo

@jcazevedo
volantautonomy's profile picture. Aircraft autonomy

VolantAutonomy

@volantautonomy
ciphernyx's profile picture. Automatic verification, SMT, floating-point, SAT, abstract interpretation, maffs, crypto means cryptography, security, academic, etc. Banner by @forestfawnette

Martin Nyx Brain

@ciphernyx
PJParkinson4478's profile picture. Chartered Engineer | IET Fellow | Passionate about Aerospace, Defence and Space | Repost != Endorsement Image: Virgo Cluster, NSF–DOE Vera C. Rubin Observatory

Paul Parkinson FIET

@PJParkinson4478
LASPatCU's profile picture. The Laboratory for Atmospheric & Space Physics is a full-cycle space institute at the University of Colorado with expertise in all aspects of space exploration.

LASP

@LASPatCU
ANSYS's profile picture. Empowering Innovators to Drive Human Advancement

Ansys

@ANSYS
rustlab_conf's profile picture. The international conference about #RustLang in Italy. Organized by @develer (Florence, 2nd-4th November, 2025)

🦀 RustLab

@rustlab_conf
DSbDTech's profile picture. DSbD is an initiative supported by the UK government to transform digital technology and create a resilient, and more secure foundation for a safer future.

Digital Security by Design (DSbD)

@DSbDTech
ASextonPR's profile picture. PR and Marketing at @AdaCoreCompany Tools for Ada/SPARK/C/C++/Rust. THE High-Integrity and Safety-Critical experts. 🌈 Rides horses. bristol@adacore.com

Andrea Bristol FCIM

@ASextonPR
Latitude_eu's profile picture. Rockets, stars, and a whole lotta heart. ☄❤

Latitude

@Latitude_eu
wolfSSL's profile picture. The most popular open source, embedded TLS. Active in #IoTSecurity, #Avionics, #Automotive & more. Over 5B connections secured! #TLS13 #SecureYourConnectivity

wolfSSL Embedded SSL/TLS; FIPS 140-3

@wolfSSL
adaacademy's profile picture. A nonprofit, cost-free software developer academy for women and gender expansive folks, changing the face of tech.

Ada Dev Academy

@adaacademy
thenewstack's profile picture. All about at-scale software development, deployment & management. Tech news, analysis, research, podcasts & more! Subscribe 📩 https://t.co/X1jwJjLnNj

The New Stack

@thenewstack
BristolCyberSec's profile picture. News and information from Bristol Cyber Security Group at the University of Bristol

Bristol Cyber Security Group

@BristolCyberSec
yaahc_'s profile picture. Jane Losare-Lusby, she/her, 🌶️🧠🏳️‍🌈🏳️‍⚧️, awesome-rust-mentors 👇

@[email protected]

@yaahc_
rustembedded's profile picture. Putting Rust on Embedded Systems!

Rust Embedded Working Group

@rustembedded
read_rust's profile picture. Curated posts from the Rust programming language community. Run by @wezm. (not an official Rust project) @readrust@botsin.space

Read Rust

@read_rust
hellorustshow's profile picture. A YouTube channel about the Rust programming language by @matthiasendler

👋 Hello, Rust!

@hellorustshow
AeroRust's profile picture. Community with the goal to increase the usage of #rustlang in the #Aerospace industry. Join the community: https://t.co/pq68BVaYy3 Check out our projects

AeroRust ( ÄR )

@AeroRust
JakeGoulding's profile picture. Yet another software engineer trying to figure out the right way to do things.

Jake Goulding

@JakeGoulding
larsberg_'s profile picture. Google Director of Engineering, @android Platform Tools & Libraries. @rust_foundation & @risc_v Board of Directors. Powerlifter. (he/him)

Lars Bergstrom

@larsberg_
SkippersWif's profile picture. CEO | Certified Autism Specialist | Ex-AWS, GEICO, CSC

Shane Miller

@SkippersWif
FerrousSystems's profile picture. Ferrous Systems builds stable software in and around @rustlang. Account archived. @ferroussystems.bsky.social https://t.co/H2GOtTMKnA

FerrousSystems

@FerrousSystems
rustconf's profile picture. An event dedicated to #rustlang & its community 🦀 Taking place from Sept 8-11 in Montreal, Canada in 2026!

RustConf

@rustconf
ThisWeekInRust's profile picture. Cataloguing the Rust community's awesomeness. Also at https://t.co/nGTNd2tHk4 #rustlang

This Week in Rust

@ThisWeekInRust
rust_foundation's profile picture. The nonprofit dedicated to stewarding the Rust programming lang & its community 🦀 bsky: https://t.co/pURKYFM3az Mastodon: rustfoundation

Rust Foundation

@rust_foundation
CI_Fuzz's profile picture. Writing secure and stable software shouldn't be hard. Mastodon: @CodeIntelligence@ioc.exchange

Code Intelligence

@CI_Fuzz
WES1919's profile picture. This account is no longer active

Women's Eng. Society

@WES1919
TechSWofficial's profile picture. Connecting and showcasing the South West tech sector.

Tech South West

@TechSWofficial
TriServiceOA's profile picture. Tri-Service OA Interoperability-Modular Open Systems Approach featured Navy, Army, Air Force successes at the MOSA Industry and Gov't Summit & Expo 2025

MOSA/Open Architecture/Open Standards

@TriServiceOA
DSEI_event's profile picture. #DSEI23 is the world's largest #defence & #security show, featuring Aerospace, Land, Naval, Security & Joint Zones. 12-15 Sept 2023 at ExCeL London.

DSEI 2023

@DSEI_event
SETsquared_Br's profile picture. SETsquared is the top startup hub in the UK for business incubation and training for high-growth potential technology startups.

SETsquared Bristol

@SETsquared_Br
investbrisbath's profile picture. The inward investment agency for the Bristol & Bath region; attracting new jobs and businesses to one of the UK's most competitive and productive economies.

Invest Bristol & Bath

@investbrisbath
BoeingSpace's profile picture. Your front row seat as we continue to build the future of space for all of humanity.

Boeing Space

@BoeingSpace
CollinsAero's profile picture. We make the most powerful concepts in aerospace a reality. #OneRTX.

Collins Aerospace

@CollinsAero
3AFasso's profile picture. L'Association Aéronautique et Astronautique de France (3AF) est la Société Savante de tous les Acteurs de l'Aéronautique et de l'Espace.

3AF

@3AFasso

United States Trends

You might like

Something went wrong.


Something went wrong.