If you're familiar with other popular awesome lists, you may find this list a little anomalous. For starters take a look at the available badges. Notable channels are exploratory, and can be used for ...

Idris - General purpose pure functional programming language with dependent types influenced by Haskell and ML. Ada/SPARK - Modern programming language designed for large, long-lived apps where ...