code4math Community
banner
code4math.org
code4math Community
@code4math.org
Consortium of Digital Ecosystems for Mathematics | Join our open community of researchers and developers at code4math.org
On Monday December 1, @clontz.org is going to share some of his favorite math projects on @github.com that you can take advantage of, and even contribute back to, using just your web browser! Join us for our final 2025 Convening at 3pm Eastern!

scholarlattice.org/events/88a97...
November 20, 2025 at 9:57 PM
code4math

*for* the memes
November 9, 2025 at 6:51 PM
Jan is now live with the House of Graphs!
September 8, 2025 at 1:10 PM
Yaël Dillies will round out our first morning of presentations with Mathlib: Maintaining a monolith. Come join us Sep 8 as we learn about the new frontiers of formalizing mathematical proofs in Lean!

preview.scholarlattice.org/collections/...
September 4, 2025 at 4:25 PM
Jeremy is holding office hours for potential readers at our JMM booth 610 starting around 3pm today. Come talk with him and help identify the community's needs that such a book could help address! 2/2
January 9, 2025 at 6:53 PM
Author @jeremykun.com of "A Programmers Introduction to Mathematics" is now writing "Programming for Mathematicians", an abridged CS degree accelerated by your math background, aimed at supporting a career switch into industry and/or writing software for research, and he needs your help! 1/2
January 9, 2025 at 6:53 PM
Join us at the @jointmath.bsky.social Grand Opening at Booth 610 this evening at 6pm! Looking forward to meeting up with the community!
January 9, 2025 at 12:06 AM