Any mathematics software developer or advocate who believes in our consortium’s principles is warmly invited to participate in our community.
New community members are encouraged to join our Zulip chat and say hello! You can also keep an eye on our events for opportunities to sync up with other community members, and check out the projects our community is involved in.
All members of code4math are encouraged to add their name to our directory
below by
opening an Issue
with their information or directly opening a pull request directly
editing this page.
- Steven Clontz
- University of South Alabama
- @StevenClontz
- sclontz@southalabama.edu
- https://clontz.org, https://topology.pi-base.org, https://g4m.code4math.org
- Databases, formalized math, general topology, math research sociotechincal infrastructure math education sociotechincal infrastructure
- Valeria de Paiva
- Topos Institute, Berkeley
- @vcvpaiva
- valeria@topos.institute
- MathGloss https://mathgloss.github.io/MathGloss/database
- Parmesan http://www.jacobcollard.com/parmesan2/
- NLP for math, formalized math, category theory, math research sociotechnical infrastructure