Best 3 Theoretical Computer Science Open Source Projects