Max

@Ryugoron

Open GitHub

🇩🇪 Berlin

@staytidy @leoprover

Profile age: over 14 years

Updated 12 days ago

5 followers • 2 following

Profile Overview

Global Germany

Rank in Germany

Beginner 1

Persona

Creator

#35,190

N/A

#53,773

Explore Ranks

Top 3 Languages By Stars

All Languages

Repositories

university

updated over 11 years ago • age over 14 years

TeX80.7%

Java11.0%

Haskell4.6%

C2.6%

Idris1.1%

Leo-III

updated almost 6 years ago • age over 11 years

Scala71.3%

Java18.3%

OpenEdge ABL7.7%

ANTLR1.6%

C1.1%

point-groups

updated over 11 years ago • age almost 12 years

Java77.3%

TeX21.3%

Perl0.6%

Haskell0.5%

Shell0.2%

Leonora

updated over 9 years ago • age over 9 years

Scala100.0%

Subscribe to Ryugoron's GitHub rank updates in your messenger

WhatsApp Telegram

Max