Badges

Hand-coded with love, bugs, and dreams bybrought to you by @maslianok

/AndreasLoow

Badges

Overview
Ranks
Repositories
Languages

Andreas Lööw

@AndreasLoow

🇬🇧 London

Imperial College London

Profile age: about 11 years

Updated 13 days ago

22 followers • 23 following

Contacts

https://www.doc.ic.ac.uk/~aloow/

Organizations

Repositories

21

2

updated about 9 years ago • age about 10 years

Python100.0%

8

0

updated 8 months ago • age almost 3 years

ReScript85.1%

JavaScript13.9%

CSS1.0%

Contributions

2025
iverilog
2 PRs +5-5
C++
3,186
574
3
2023
sv-tests
1 PR +12-12
SystemVerilog
344
84
2020
HOL
~9 PRs +56-47
Standard ML
694
159
8
plt-errata
1 PR +3-2
12
4
2019
cakeml
1 PR +1-1
Standard ML
1,085
90
59
HOL
3 PRs +32-16
Standard ML
694
159
8
plt-errata
1 PR +8-0
12
4
2018
lets-prove-leftpad
1 PR +144-0
SystemVerilog
699
64
HOL
~10 PRs +23-26
Standard ML
694
159
8
bnfc
1 PR +145-6
TeX
610
172
18