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