Intrasti: jeremyjaydan

Imba - The friendly full-stack language! imba.io Imba is a programming language for building web applications with insane performance. You can use it both for the server and client.

GitSpeak gitspeak.com The fastest GitHub client ever made

cairographics.org cairographics.org

Vala Programming Language vala.dev Vala is an object-oriented programming language with a self-hosting compiler that generates C code and uses the GObject type system.

Learn to code with Scrimba scrimba.com Scrimba is the fast way of learning to code! Our interactive courses and tutorials will teach you React, Vue, Angular, Web Development, Node.JS, JavaScript, HTML, CSS, and more.

Codeforces codeforces.com Codeforces. Programming competitions and contests, programming community

Quantum Computing Stack Exchange quantumcomputing.stackexchange.com Q&A for engineers, scientists, programmers, and computing professionals interested in quantum computing

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 .

Ironclad ironclad-os.org Ironclad is a free software formally verified kernel written in SPARK/Ada

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.

Ironsides ironsides.martincarlisle.com  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

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.

codelabs - High Assurance Systems www.codelabs.ch codelabs High Assurance Systems website

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.

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.

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

Dmitry Kazakov's home page www.dmitry-kazakov.de

ada-lang.io, an Ada community site ada-lang.io A programming language for readable, correct, and performant software.

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.

codelabs - High Assurance Systems codelabs.ch codelabs High Assurance Systems website

MaRTE OS Home Page marte.unican.es

SparForte Programming Language sparforte.com An open source programming language for high integrity tasks, efficient development over the project lifecycle and assuring software quality.

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.

Muen | SK for x86/64 muen.codelabs.ch An x86/64 Separation Kernel for High Assurance