github/awesome
1
Fork 0
mirror of https://github.com/sindresorhus/awesome synced 2024-12-01 08:11:44 +01:00
Code Releases Activity

Add Ada/SPARK (#1482)

Browse Source
This commit is contained in:
ohenley 2019-02-16 13:04:12 -05:00 committed by Sindre Sorhus
parent d6f8eb2fe6
commit 9585c6e0fc
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
readme.md
View File

@ -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