AdaCore | Ada/C/C++ tools for critical software @AdaCoreCompany
AdaCore helps people build safe, secure and reliable software. adacore.com Headquarters - Paris | NYC Joined November 2009-
Tweets2K
-
Followers2K
-
Following458
-
Likes787
Great to see the mentions of #SPARK in this Defcon talk by Adam Zabrocki and Marko Mitic #NVIDIA youtube.com/live/MEPF0dEAj… #formalmethods #softwareengineering #defcon33 #defcon
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
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…
🚀 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…
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…
We are delighted to announce our merger with CodeSecure, Inc. Read more here: adacore.com/press/adacore-…
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…
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…
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…
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 ✅…
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…
🔐 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,…
🚀 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…
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…
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…
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
HISC is back! 🎉 Join over 200 UK and international delegates from high-integrity software across government, academia, and industry on 13 November at @ICCWales for #HISC2025. Register your interest now to be notified when ticket sales open: forms.gle/y2fymYkrKW298n…
We’re excited to share a new blog post diving into Ada through a raytracing project inspired by Raytracing in One Weekend. Having implemented similar projects in Rust and C++, this was an opportunity to see how Ada’s strong type system, parallelism, and abstractions handle a…
Prevent vulnerabilities caused by manual memory management. Ada, SPARK, and Rust automate safety checks to deliver secure, efficient software. Read our Tech Paper to explore their benefits. buff.ly/3VknUZu
Ada Programmers @adaprogrammers
1K Followers 497 Following Write in Ada, make better software! https://t.co/0OdLbtrYZ6 Account maintained by some people from @AdaCoreCompany. #MakewithAda
Calista Redmond @Calista_Redmond
7K Followers 3K Following VP Global AI Initiatives @nvidia, Open Source advocate, accidental vegetarian, average snowboarder, Girl Scout camp mom
CLINSIXSA @clinsixsa
339 Followers 3K Following CLINSIXSA is a South African medical research and development company.
Yannick Popovitch @pop94378
0 Followers 31 Following
Gerson Farro ☽ @gersonnfarro
14K Followers 13K Following | Politólogo informático Pucp ⛧ | | Bilíngue | | Ecofeminista ⚧ | | Crema Ⓤ | | Vegano | | Nuevo Perú | |Animalista| | ateo | ◯ ☽ ◑ ● ◐ ❨ ◯
Zee Palm @zeepalmofficial
18 Followers 48 Following Fractional In-house Dev Team for Startups. Book a call at https://t.co/Qc4l3YgPIO
Ken Nelson @KenNelson155
8 Followers 125 Following
ayush jha @AyushJha017
0 Followers 30 Following
Donlon McGovern @DonlonMcGovern
1 Followers 82 Following
Sardar Munaqib @SardarMunaqib
0 Followers 22 Following ✨ Software Engineer | Code. Create. Innovate.
HADEBESOFT SYSTEMS CO... @hadebesoft
283 Followers 3K Following HadebeSoft Systems Corporation is a South African management services for all industry.
Gary Howell @deadduckflyer
8 Followers 39 Following
Chris Nelson @zenck_null
4 Followers 69 Following
contemporary pervert @pervert002
8 Followers 282 Following
Mukhilan Ravichandran @MukhilanRa75571
1 Followers 81 Following
REANS ; @4REANS
683 Followers 669 Following Student. learning rocket science (interested in avionics and heat transfer). and I like embedded systems & comms devices.
voryn software @SoftwareVoryn
0 Followers 50 Following
Vikas Consultancy Ser... @vikas0101964285
686 Followers 352 Following Your hub for all things #SoftwareDevelopment & #DigitalInnovation — from #Python to #AI, #MachineLearning, #DataScience, and cutting-edge #WebDevelopment.
Milun Rajkovic @Okrark
418 Followers 704 Following
fernanda.rb @febussular
1K Followers 1K Following
William Méndez @MrWMENDEZ
424 Followers 2K Following Backend web developer, pythonist, free software lover, golang developer and good guy!
IUseArchBTW10 @IUseArchBTW10
4 Followers 178 Following
Ywuierpi @Ywuierpi100854
20 Followers 972 Following
SPAC_Tracker🇺🇸 @Ybusaw539405
29 Followers 2K Following 15-30% Monthly | 2 High-Conviction Stocks.Short-Term Gains: 15-20% in Days/Weeks.DM "JOIN" for WhatsApp Alerts. Live Trade Signals • Market Analysis
denildo @denildo1488701
1 Followers 95 Following
Aliaksiej Maroz @computerw1zard
52 Followers 143 Following Hammock Driven Development. House owner. Husband and father of III. Gardener and farmer. Erlang/Elixir.
Stephen Hedrick @stephen_ac_
2 Followers 88 Following Product @ AdaCore // Rust for Safety-Critical Systems 🦀
🦖 Guaracy Monteiro @guaracybm
100 Followers 147 Following Programar é tão arte como escrever receita de bolo. Desculpe por estragar o seu dia.
subodh rajput @subodhr65988866
4 Followers 426 Following
Lonny Bayer @BayerLonny31891
37 Followers 3K Following
Eng . Maylean Patrick @maylean_patrick
14 Followers 158 Following I am a Full-Stack Software Engineer with eight years of experience, specializing in Vue.js, Nuxt.js, TypeScript, Python, and React.
Ivan Caballero 🇵�... @iwika81
42 Followers 1K Following
SHARWAN KUMAR @SHARWANKUM86747
10 Followers 187 Following
SleepWellStocks🇺�... @Armweaiewox982
54 Followers 2K Following 15-30% Monthly | 2 High-Conviction Stocks.Short-Term Gains: 15-20% in Days/Weeks.DM "JOIN" for WhatsApp Alerts. Live Trade Signals • Market Analysis
Anna @OWilderman34768
131 Followers 5K Following
Santhosh Kalyanasamy @liveSanthos
269 Followers 2K Following Compelling Storyteller | X Ads Specialist | Transforming Brands into Trends | https://t.co/KSMfhlF0DW |
Kaiser2020 @kaiser1871_K
0 Followers 6 Following
Slingshot @SlingshotSW
0 Followers 30 Following For Big Kids & Daredevils. Slingshot has been helping businesses solve problems through technology for over 20 years.
Five Pack @FivePackk
0 Followers 32 Following We partner with entrepreneurs to Fortune 100 companies to help them build the future through great software.
Valor Software @ValorSoftwaree
1 Followers 29 Following Development as a Service for you. Development as a Pleasure for us.
Emergent Software @EmergentSWare
0 Followers 31 Following Emergent Software is a custom software development company specializing in creating custom software, crafting complex websites, designing databases & analytics.
Gila Software @GilaSoftWaree
0 Followers 25 Following 👨💻 Cost-effective custom web and mobile software development solutions 🌎 Teams Beyond Borders
Mara @m_ou_se
45K Followers 415 Following Rust dev, Electronics engineer, Author, @rustlang Library team lead, ADHD, Polyamorous, Lesbian, She/Her
hackaday @hackaday
267K Followers 2K Following 🔥 Read: https://t.co/KG4TpCzO7H ☠️ Contribute: tips at hackaday dot com 👉 Projects: @hackadayio #Fediverse: @[email protected] 📒 Learn: https://t.co/p1jaCktSDt
adafruit industries @adafruit
234K Followers 0 Following Brooklyn, NY USA - Manufacturer, open-source hardware, certified Minority and Woman-owned Business Enterprise (M/WBE) X account managed by @ladyada & @ptorrone
Rust Trending @RustTrending
36K Followers 1 Following Automated bot tweeting trending Rust repositories on GitHub. Not an official @github or @rustlang product. Made by @pbzweihander_rs, but not curated by.
Phoronix @phoronix
61K Followers 119 Following Founded by @MichaelLarabel in 2004, Phoronix is the largest #opensource news, #Linux hardware reviews & Linux PC/server/HPC performance benchmark site.
Embedded Systems @embedsys
31K Followers 8K Following The embedded systems newsletter. Subscribe here https://t.co/MttQM3M7kU. Weekly selection of embedded software and hardware articles. Hand-made, on Friday
Slashdot @slashdot
361K Followers 455 Following 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
Rust Language @rustlang
153K Followers 2 Following A programming language empowering everyone to build reliable and efficient software. ** This account is no longer active. Follow us on other platforms! **
Arduino @arduino
494K Followers 384 Following Arduino is a global leader in open-source hardware and software, with over 30 million developers worldwide.
Ada Programmers @adaprogrammers
1K Followers 497 Following Write in Ada, make better software! https://t.co/0OdLbtrYZ6 Account maintained by some people from @AdaCoreCompany. #MakewithAda
CodeSecure @CodeSecure_
52 Followers 84 Following When Safety and Security Matter. Leading developer of software assurance tools and advanced cyber-security solutions.
Battery Ventures @BatteryVentures
65K Followers 1K Following Investing in technology companies globally since 1983 with offices in Boston, San Francisco, Menlo Park, New York, London and Tel Aviv.
Elektor @Elektor
22K Followers 3K Following Publisher of Elektor and developer/distributor of electronics boards/kits & books for engineers and developers. Stay updated on practical tech and trends.
Wevolver @WevolverApp
59K Followers 3K Following Wevolver is the platform that provides the knowledge and connections to develop better technology.
ipXchange @ipxchangetech
24 Followers 1 Following Speed up your discovery, selection and evaluation of the latest disruptive electronic components with ipXchange!
Rust Nation UK 🦀 @RustNationUK
4K Followers 401 Following 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!
The Fast Mode @TheFastMode
14K Followers 4K Following Never miss a beat in telecoms. Catch the latest news here: https://t.co/kUrGBrJdhO.
Enterprise Strategy G... @esg_global
14K Followers 2K Following An IT analyst, research, validation, and strategy firm that provides market intelligence and actionable insight to the global IT community.
WinSystems @WinSystemsInc
877 Followers 697 Following WINSYSTEMS designs & manufactures high reliability single board computers (#SBC), expansion cards and #embedded PC's for #OEM and industrial products.
Karel Gardas @KarelGardas
134 Followers 509 Following I work with C/C++/Haskell/Java/Python/Rust/Scheme/SmallTalk on Unix(-like) OSes mostly. @[email protected]
Martin Nyx Brain @ciphernyx
839 Followers 480 Following Automatic verification, SMT, floating-point, SAT, abstract interpretation, maffs, crypto means cryptography, security, academic, etc. Banner by @forestfawnette
Paul Parkinson FIET @PJParkinson4478
95 Followers 401 Following Chartered Engineer | IET Fellow | Passionate about Aerospace, Defence and Space | Retweet != Endorsement
LASP @LASPatCU
4K Followers 376 Following 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.
🦀 RustLab @rustlab_conf
5K Followers 104 Following The international conference about #RustLang in Italy. Organized by @develer (Florence, 2nd-4th November, 2025)
Digital Security by D... @DSbDTech
459 Followers 234 Following 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.
Andrea Bristol FCIM @ASextonPR
2K Followers 4K Following PR and Marketing at @AdaCoreCompany Tools for Ada/SPARK/C/C++/Rust. THE High-Integrity and Safety-Critical experts. 🌈 Rides horses. [email protected]
wolfSSL Embedded SSL/... @wolfSSL
10K Followers 6K Following The most popular open source, embedded TLS. Active in #IoTSecurity, #Avionics, #Automotive & more. Over 5B connections secured! #TLS13 #SecureYourConnectivity
Ada Dev Academy @adaacademy
6K Followers 747 Following A nonprofit, cost-free software developer academy for women and gender expansive folks, changing the face of tech.
The New Stack @thenewstack
40K Followers 3K Following All about at-scale software development, deployment & management. Tech news, analysis, research, podcasts & more! Subscribe 📩 https://t.co/X1jwJjLnNj
Bristol Cyber Securit... @BristolCyberSec
2K Followers 235 Following News and information from Bristol Cyber Security Group at the University of Bristol
@[email protected] @yaahc_
6K Followers 986 Following Jane Losare-Lusby, she/her, 🌶️🧠🏳️🌈🏳️⚧️, awesome-rust-mentors 👇
Read Rust @read_rust
13K Followers 1 Following Curated posts from the Rust programming language community. Run by @wezm. (not an official Rust project) @[email protected]
👋 Hello, Rust! @hellorustshow
2K Followers 57 Following A YouTube channel about the Rust programming language by @matthiasendler
AeroRust ( ÄR ) @AeroRust
2K Followers 35 Following 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
Jake Goulding @JakeGoulding
2K Followers 82 Following Yet another software engineer trying to figure out the right way to do things.
Lars Bergstrom @larsberg_
3K Followers 3K Following Google Director of Engineering, @android Platform Tools & Libraries. @rust_foundation & @risc_v Board of Directors. Powerlifter. (he/him)
FerrousSystems @FerrousSystems
8K Followers 22 Following Ferrous Systems builds stable software in and around @rustlang. Account archived. @ferroussystems.bsky.social https://t.co/H2GOtTMKnA
RustConf @rustconf
18K Followers 87 Following An event dedicated to #rustlang & its community 🦀 Taking place from Sept 8-11 in Montreal, Canada in 2026!
This Week in Rust @ThisWeekInRust
33K Followers 31 Following Cataloguing the Rust community's awesomeness. Also at https://t.co/nGTNd2tHk4 #rustlang
Rust Foundation @rust_foundation
40K Followers 179 Following The nonprofit dedicated to stewarding the Rust programming lang & its community 🦀 bsky: https://t.co/pURKYFM3az Mastodon: rustfoundation
Code Intelligence @CI_Fuzz
972 Followers 307 Following Writing secure and stable software shouldn't be hard. Mastodon: @[email protected]
Tech South West @TechSWofficial
3K Followers 717 Following Connecting and showcasing the South West tech sector.
MOSA/Open Architectur... @TriServiceOA
4K Followers 387 Following Tri-Service OA Interoperability-Modular Open Systems Approach featured Navy, Army, Air Force successes at the MOSA Industry and Gov't Summit & Expo 2025
DSEI 2023 @DSEI_event
10K Followers 3K Following #DSEI23 is the world's largest #defence & #security show, featuring Aerospace, Land, Naval, Security & Joint Zones. 12-15 Sept 2023 at ExCeL London.
SETsquared Bristol @SETsquared_Br
6K Followers 1K Following SETsquared is the top startup hub in the UK for business incubation and training for high-growth potential technology startups.
Invest Bristol & Bath @investbrisbath
4K Followers 745 Following 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.
Boeing Space @BoeingSpace
276K Followers 464 Following Your front row seat as we continue to build the future of space for all of humanity.
Collins Aerospace @CollinsAero
49K Followers 66 Following We make the most powerful concepts in aerospace a reality. #OneRTX.
3AF @3AFasso
850 Followers 161 Following 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.
Singleton PR @SingletonPR
800 Followers 3K Following #SingletonPR is a specialist #aerospace, #defence, #security and #space global public relations company providing financial, corporate and consumer PR servicesTrends for United States
You might like
