penrose / penrose

Create beautiful diagrams just by typing notation in plain text.

amirabbas-gh / tehran-metro

Interactive Tehran Metro map presented as an applied graph theory project for the Discrete Mathematics course at the College of Farabi, University of Tehran.

mrconter1 / vibemathed

Community-curated record of math problems solved by AI - significance rankings, verification labels, CC BY 4.0 dataset