Alexander Cox

@lxndrcx

Open GitHub

🇦🇺 Sydney, NSW, Australia

DAMsmart

Profile age: over 7 years

Updated 11 days ago

2 followers • 5 following

Contacts

lxndrcx.me

Profile Overview

Global Australia

Global Rank

Beginner 5

Persona

Contributor

N/A

#1,469,851

N/A

Explore Ranks

Top 3 Languages By Stars

All Languages

Repositories

proofTheoryHOL

updated about 6 years ago • age almost 7 years

Standard ML81.4%

TeX18.6%

HOL

updated almost 6 years ago • age almost 7 years

Standard ML85.4%

TeX11.8%

OCaml1.9%

Emacs Lisp0.7%

C++0.3%

Last Contributions

2021
TCSReadingGroup
1 PR +44-9
Standard ML
8
5
2019
HOL
4 PRs +1,065-28
Standard ML
694
159
8
2018
HOL
1 PR +3-3
Standard ML
694
159
8

View all contributions

Latest Updates

28 Sep 2025
Followers Count:1 2
17 Jul 2025
Avatar:changed
Company: DAMsmart
Location:Canberra, ACT Sydney, NSW, Australia
Website Url: lxndrcx.me
18 Jan 2025
First seen

Subscribe to lxndrcx's GitHub rank updates in your messenger

WhatsApp Telegram