Michael Rawson

@MichaelRawson

Open GitHub

🇬🇧 UK

University of Southampton

Profile age: over 13 years

Updated about 22 hours ago

16 followers • 2 following

Contacts

michael@rawsons.uk

http://rawsons.uk/michael/

Profile Overview

Global United Kingdom

Global Rank

Adept 3

Persona

Creator

#543,502

#1,528,647

#859,345

Explore Ranks

Top 3 Languages By Stars

All Languages

Repositories

tptp

updated over 3 years ago • age about 7 years

Rust94.4%

OpenEdge ABL5.6%

lazycop

updated almost 5 years ago • age over 5 years

Rust86.4%

Cuda5.5%

Python4.7%

OpenEdge ABL2.1%

HTML1.4%

paar20

updated over 5 years ago • age almost 6 years

Python60.4%

Rust32.3%

OpenEdge ABL7.3%

autoencode-tptp

updated over 4 years ago • age over 5 years

Rust63.4%

Python36.6%

hopcop

updated 4 months ago • age 8 months

Rust100.0%

Last Contributions

2025
vampire
2 PRs +55-1,408
C++
357
59
18
europroofnet.github.io
~7 PRs +16-2
Ruby
13
64
UserDocs
1 PR +10-0
HTML
0
2
2024
vampire
2 PRs +37-469
C++
357
59
18
europroofnet.github.io
~7 PRs +180-13
Ruby
13
64

View all contributions

Latest Updates

09 Sep 2025
Followers Count:15 16
11 Jul 2025
Followers Count:13 15
02 Mar 2025
Company: University of Southampton
Location:TU Wien UK
06 Jan 2025
First seen

Subscribe to MichaelRawson's GitHub rank updates in your messenger

WhatsApp Telegram