Overview
Posts
6
GitHub Stars
1328
Noureddine RAMDI
🚀
Noureddine RAMDI
Dinour
Lead Developer & AI Enthusiast — Software Architecture, AI/LLM, Infrastructure Automation
France
noureddine@ramdi.fr
https://ramdi.fr
Organizations
Overview
Posts
6
GitHub Stars
1328
1
results for
Proofs
Clear filter
understanding-math: a curated knowledge base for mathematical literacy and notation
understanding-math is a curated repository aggregating resources on mathematical literacy, notation, and proof techniques, bridging math concepts with programming needs in ML and cryptography.
github-stars
mathematics
education
notation
proofs
Created
Mon, 04 May 2026 10:23:02 +0000
Previous
Next