Thomas Tuerk

@thtuerk

Open GitHub

🇩🇪 Brechen, Germany

Profile age: over 13 years

Updated about 12 hours ago

18 followers • 1 following

Contacts

thomas@tuerk-brechen.de

http://www.thomas-tuerk.de/en

Organizations

Profile Overview

Global Germany

Global Rank

Adept 3

Persona

Influencer

#814,321

#1,273,410

#787,857

Explore Ranks

Top 3 Languages By Stars

All Languages

Repositories

ITP-course

updated almost 6 years ago • age almost 6 years

PostScript68.6%

TeX28.3%

Standard ML2.5%

PHP0.4%

Makefile0.2%

kochbuch

updated over 2 years ago • age almost 9 years

PHP98.0%

CSS2.0%

HOL

updated over 1 year ago • age about 7 years

Standard ML87.3%

TeX11.5%

Emacs Lisp0.8%

C++0.2%

C0.2%

Last Contributions

2022
titra
1 PR +1-1
JavaScript
434
65
250
2019
opam
1 PR +46-0
OCaml
149
174
2018
HOL
3 PRs +578-280
Standard ML
694
159
8
HOL
1 PR +616-988
Standard ML
7
2
2
2017
HOL
2 PRs +331-40
Standard ML
694
159
8

View all contributions

Subscribe to thtuerk's GitHub rank updates in your messenger

WhatsApp Telegram