- The Microsoft Cloud Blog | Build the future of your business with AI cloudblogs.microsoft.com Get news, updates, and insights about Microsoft's integrated cloud platform for cloud solutions from the team of experts at The Microsoft Cloud Blog . 0 0
- Ironclad ironclad-os.org Ironclad is a free software formally verified kernel written in SPARK/Ada 0 0
- JDoodle - Free AI powered Online Coding Platform www.jdoodle.com JDoodle is an online coding platform to learn, teach and practise. Write and run code in 113 languages in the browser, with an AI companion as you go. 0 0
- Ironsides ironsides.martincarlisle.com <!-- google_ad_client = "pub-5813501791213142"; /* 728x90, created 5/28/10 */ google_ad_slot = "9166604582"; google_ad_width = 728; google_ad_height = 90; //--> The content of this page in no way reflects the opinions, standards, or policy of the United States Air Force Academy or the United States government. IRONSIDES is an authoritative/recursive DNS server pair that is provably invulnerable to many of the problems that plague other servers. It achieves this property through the use of for 0 0
- Compiler Explorer godbolt.org Compiler Explorer is an interactive online compiler which shows the assembly output of compiled C++, Rust, Go (and many more) code. 0 0
- codelabs - High Assurance Systems www.codelabs.ch codelabs High Assurance Systems website 0 0
- Blog | AdaCore blog.adacore.com AdaCore is the leading provider of commercial software solutions for Ada, C and C++ — helping developers build safe and secure software that matters. 0 0
- Global Book Printing, Publishing, and Technology Company | Lulu www.lulu.com Lulu is a publishing technology platform for on-demand book printing and global fulfillment, powered by APIs and ecommerce integrations. 0 0
- Home - Phaser Cat phasercat.com The evil Zevasha has invaded beautiful Fairy Land! Queen Sugar and her allies rise up to defend their land from the evil fairy queen and her forces! As one of eight characters, fight through intense battles until you come face-to-face with Zevasha’s beastly pet and ultimately the evil queen herself. Choose your character and decide- will you save Fairy Land or conquer it?Rats have infested the city sewers! Round ’em up for big points, but beware of the alligators lurking in the pipes! Paralyzi 0 0
- Dmitry Kazakov's home page www.dmitry-kazakov.de 0 0
- ada-lang.io, an Ada community site ada-lang.io A programming language for readable, correct, and performant software. 0 0
- Moonshine IDE moonshine-ide.com Moonshine is a free and open source middleweight IDE built with ActionScript 3 for AS3, Apache Flex®, Apache Royale® and Feathers development with Cloud and Desktop support. 0 0
- codelabs - High Assurance Systems codelabs.ch codelabs High Assurance Systems website 0 0
- MaRTE OS Home Page marte.unican.es 0 0
- SparForte Programming Language sparforte.com An open source programming language for high integrity tasks, efficient development over the project lifecycle and assuring software quality. 0 0
- Blog posts blog.vacs.fr Explore VACS.fr’s technical blog for in-depth articles on secure development and performance mostly in Ada and Java. 0 0
- Muen | SK for x86/64 muen.codelabs.ch An x86/64 Separation Kernel for High Assurance 0 0
- Homepage | GSAP greensock.com Supported by Webflow. Animate Anything - A wildly robust JavaScript animation library built for professionals. 0 0
- Global Leader in Embedded Software Reuse SolutionsMapuSoft www.mapusoft.com MapuSoft Technologies is a renowned market leader providing embedded software porting, OS abstraction, OS simulation, profiling and code conversion. 0 0
- Celebrating Ada Lovelace www.celebratingada.com Named in honor of Lady Ada, the Ada language was designed for developing reliable, safe and secure software. It has been updated several times since its initial inception in the 1980s and is a language of choice for high-integrity real-time systems. Today Ada is widely used around the globe, for developing critical systems in both government and commercial domains and for teaching and research in university computer science programs.At age 17 Ada began her formal mathematical training by studyin 0 0
- Global Leader in Product Lifecycle Management Software | PTC www.ptc.com PTC accelerates digital transformation with a new generation of technology that powers the ways you engineer, manufacture, and service your physical products. 0 0
- ACM SIGAda Home Page www.sigada.org Ada is a great language for engineering large, complex systems. 0 0
- Home | Bare Bones Software www.barebones.com Even more productive.Still wicked fast.The professional's choice for over thirty years.It (still) doesn’t suck.*Estimated 0 0
- ParaSail Programming Language parasail-lang.org Home page for ParaSail Programming Langauge website 0 0
