I would like to nominate Circom from circom.io for their FOSS available at GitHub - iden3/circom: zkSnark circuit compiler.
Circom is a ZK compiler that is beginner friendly enough to be recommended as a first go-to for compiling zero knowledge proofs. The contributors of this project can be found at Contributors to iden3/circom · GitHub and includes but is not limited to work by Clara Rodríguez, Miros (mmilenkovic), Albert Rubio, jlmunoz77, Blaine Bublitz, and more
I would like to nominate this project for their contribution towards making ZK applications more beginner-friendly, as well as accessible for all.