People

Main Authors and Developers

• Lucas Cordeiro (since 2008)
• Bernd Fischer (since 2008)
• Mikhail Gadelha (since 2011)
• Felipe R. Monteiro (since 2011)
• Jeremy Morse (since 2011)
• Denis Nicole (since 2011)
• Rafael Menezes (since 2019)

Former Members

• Hussama Ismail (2013-2017)
• Mauro L. de Freitas (2012-2013)
• Joao Marques-Silva (2008-2011)
• Hendrio M. Marques (2012-2013)