Amos Robinson

@amosr

Open GitHub

🇦🇺 Sydney, Australia

a large corporation

Profile age: about 14 years

Updated 13 days ago

47 followers • 6 following

Contacts

amos.robinson@gmail.com

http://amosr.amospheric.com/

Organizations

Profile Overview

Global Australia

Global Rank

Advanced 5

Persona

Influencer

#399,428

#799,792

#287,431

Explore Ranks

Top 3 Languages By Stars

All Languages

Repositories

folderol

updated about 7 years ago • age over 8 years

Haskell98.4%

Shell0.9%

Roff0.7%

limp

updated almost 7 years ago • age over 11 years

Haskell100.0%

limp-cbc

updated over 5 years ago • age about 11 years

C++99.2%

C0.6%

Shell0.2%

Haskell0.1%

papers

updated over 1 year ago • age over 12 years

TeX82.5%

Coq10.5%

Haskell3.7%

Assembly2.2%

C1.0%

Last Contributions

2025
pipit
2 PRs +4,858-1,412
F*
4
1
meetings
2 PRs +3-3
Agda
3
14
2024
FStar
2 PRs +144-82
F*
2,907
243
79
pulse
1 PR +7-4
F*
26
10
1
fstar-vscode-assistant
1 PR +10-2
TypeScript
25
10
28

View all contributions

Latest Updates

09 Oct 2025
Followers Count:46 47
29 Jul 2025
Followers Count:47 46
14 Jul 2025
Followers Count:46 47
17 Mar 2025
Company:Australian National University a large corporation
Social Accounts:twitter: @MosRobinson [object Object]
06 Jan 2025
First seen

Subscribe to amosr's GitHub rank updates in your messenger

WhatsApp Telegram