arolle - GitHub Analytics

@arolle

Open GitHub

null

Profile age: almost 14 years

Updated 2 days ago

12 followers • 6 following

Organizations

Profile Overview

Global Rank

Advanced 1

Persona

Contributor

#621,758

#677,838

#1,098,195

Explore Ranks

Top 3 Languages By Stars

All Languages

Repositories

css_process_diagram

updated almost 4 years ago • age over 12 years

CSS71.6%

HTML28.4%

basex-docu

updated over 9 years ago • age over 12 years

XQuery90.3%

XSLT9.7%

cakeml

updated over 3 years ago • age almost 6 years

Standard ML97.8%

OCaml1.4%

Haskell0.6%

Python0.1%

C0.1%

Last Contributions

2023
HOL
1 PR +53-21
Standard ML
686
158
8
hol-guidebook
1 PR +193-5
CSS
11
7
trustfull-demonstrator
1 PR +2-2
JavaScript
1
4
2022
cakeml
1 PR +12,705-1,798
Standard ML
1,082
90
58
HOL
3 PRs +183-57
Standard ML
686
158
8

View all contributions

Subscribe to arolle's GitHub rank updates in your messenger

WhatsApp Telegram