Hi

My Favorite Languages
Language Proficiency
Ada Familiar
C Humpfff
JavaScript Familiar
Pascal Familiar
SPARK Beginner
Python Beginner

About the casing of SPARK : seems it should be written uppercase. At least it is the way is written in Praxis's documentation, which is actually responsible of the maintenance of this language.

A word to avoid confusion: as recalled by Praxis, SPARK, with a K, has nothing to deals with SPARC, with a C. These are two different things.