I have contributed to the following major software projects: (GitHub) AlgebraicSolving.jl, a Julia package for polynomial system solving. (Website) OSCAR, a computer algebra system written in Julia.