From 9585c6e0fcf05be5ae9bc04f1358b8c8468f2c04 Mon Sep 17 00:00:00 2001 From: ohenley Date: Sat, 16 Feb 2019 13:04:12 -0500 Subject: [PATCH] Add Ada/SPARK (#1482) --- readme.md | 1 + 1 file changed, 1 insertion(+) diff --git a/readme.md b/readme.md index f638265..4bb5571 100755 --- a/readme.md +++ b/readme.md @@ -177,6 +177,7 @@ - [ActionScript 3](https://github.com/robinrodricks/awesome-actionscript3#readme) - Object-oriented language targeting Adobe AIR. - [Eta](https://github.com/sfischer13/awesome-eta#readme) - Functional programming language for the JVM. - [Idris](https://github.com/joaomilho/awesome-idris#readme) - General purpose pure functional programming language with dependent types influenced by Haskell and ML. +- [Ada/SPARK](https://github.com/ohenley/awesome-ada#readme) - Modern programming language designed for large, long-lived apps where reliability and efficiency are essential. ## Front-End Development