Holger Thies

@holgerthies

Open GitHub

🇯🇵 Kyoto, Japan

Kyoto University

Profile age: about 13 years

Updated about 11 hours ago

21 followers • 15 following

Contacts

http://www.holgerthies.com

Profile Overview

Global Japan

Global Rank

Adept 4

Persona

Influencer

#787,105

N/A

#683,646

Explore Ranks

Top 3 Languages By Stars

All Languages

Repositories

coq-aern

updated 4 months ago • age over 4 years

Coq84.2%

Haskell15.0%

Shell0.6%

HTML0.2%

continuity

updated over 5 years ago • age over 6 years

iRRAM-analytic

updated over 8 years ago • age about 10 years

C++99.7%

Makefile0.3%

continuous-machines

updated almost 6 years ago • age almost 6 years

Makefile100.0%

small_analytic

updated about 9 years ago • age over 9 years

TeX100.0%

Last Contributions

2020
incone
1 PR +45-5
Coq
1
2
2
2019
incone
3 PRs +13,894-372
Coq
1
2
2

View all contributions

Subscribe to holgerthies's GitHub rank updates in your messenger

WhatsApp Telegram