#
Starred repositories
5
stars
written in Ada
Clear filter
GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
Bourne shell, template engine, scripting language reliable, scalable projects. Based a ISO standard proven effective for large, mission-critical projects, SparForte is designed for fast development…
AdventOfCode solution written in Ada programming language