Research software and solver projects 💻