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 ...
Vala - Programming language designed to take full advantage of the GLib and GNOME ecosystems, while preserving the speed of C code. Coq - Formal language and environment for programming and ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results