Programming

1. C/C++

2. System Programming

3. Tools

4. Cool Software

5. Modal editors

6. Operating System Development (alma kernel)

7. Python

8. Dafny