Discover @BelegCuthalion Open Source projects

Alireza (@BelegCuthalion)

BelegCuthalion

Stars
5
Global Rank 1,435,387 (Top 50 %)
Followers 22
Following 39
Registered over 11 years ago
Most used languages

Lean 33.3 %

Java
33.3 %

TeX
33.3 %
Location 🇮🇷 Iran
Country Total Rank 3,547
Country Ranking

Lean 1

TeX
82

Java
849

lean-exc

hopfield-tsp

another academic project

logic00

Material for the logic course