Rankings
Badges
/
txa
Rankings
Badges
Overview
Ranks
Repositories
Languages
Thorsten Altenkirch
@txa
Refresh
Open GitHub
🇬🇧 Nottingham, UK
The University of Nottingham
Profile age: over 15 years
Updated 10 days ago
117 followers • 3 following
Contacts
txa@cs.nott.ac.uk
http://www.cs.nott.ac.uk/~txa/
Profile Overview
Global
United Kingdom
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Rank in UK
Expert 5
Persona
Influencer
#19,726
N/A
#3,441
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
OmegaCats
8
1
updated almost 13 years ago • age over 15 years
Derivatives
4
0
updated about 14 years ago • age about 14 years
Haskell
100.0%
substitution
3
0
updated 3 months ago • age about 1 year
TeX
50.1%
Agda
23.8%
BibTeX Style
19.5%
Rich Text Format
4.5%
Lean
2.2%
g52ifr
2
0
updated almost 14 years ago • age about 14 years
Verilog
100.0%
alex-new
0
0
updated almost 12 years ago • age about 12 years
View all 9 repositories
Latest Updates
22 Sep 2025
Followers Count:
116
117
09 Aug 2025
Followers Count:
114
116
11 Jul 2025
Followers Count:
113
114
04 Jan 2025
First seen
Subscribe to txa's GitHub rank updates in your messenger
WhatsApp
Telegram
