User: Nikolay TcholtchevProject: Eclipse QrispType: CommitterStatus: ActiveActive: Tuesday, October 10, 2023Contribution Activity: Commits on Eclipse Qrisp by Nikolay Tcholtchev (lifetime).