1. Contributions to StrictDoc

2. Open source software

3. Hosting and Continuous Integration

4. Free and commercial IDEs by JetBrains