cyrille-artho
@cyrille-artho
KTH Royal Institute of Technology
54
Followers
0
Following
8
Public Repos
0
Private Repos
Language Breakdown
Lines of code distribution across 5 owned repositories
624K
Total LOC
Scala
532,212 lines
85.3%
N/A
Java
60,680 lines
9.7%
N/A
Shell
30,918 lines
5.0%
N/A
Perl
272 lines
0.0%
N/A
I
I-Shaped Developer
I-shapedSpecialist — deep expertise in Scala
Scala
Java
Shell
Perl
Collaboration Network
Global Impact visualization
Repos
62
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
1 day
36
Contributions
7
Commits
0
Pull Requests
Jun
Jul
Aug
Sep
Oct
Nov
Dec
Jan
Feb
Mar
Apr
May
Jun
Mo
We
Fr
Based on GitHub activity
Less
More
Following
0 total
Not following anyone yet.
Synced via GitHub
Top Repositories
modbat
Modbat is a model-based API tester for stateful systems.
23
16
Scala
lock-model
Model locks with thread priority from RTEMS
2
2
Java
nordic-rse.github.io
The community of Research Software Engineers in Nordic countries.
0
0
HTML
chibicc
0
0
C
CUT-workshop
Feb 2020 workshop at CUT in Bloemfontein, South Africa
0
0
mmsd-students
Student projects for KTH Master's students visiting the ERATO-MMSD center
0
0
sv-benchmarks
Collection of Verification Tasks
0
0
sasuf-workshop-2019
Workshop "Making systems trustworthy by model checking and symbolic execution"
0
0
Open Source Impact
Contributions to external projects
28 merged PRs
javapathfinder/jpf-core
613
javapathfinder/jpf-nhandler
6
javapathfinder/jpf-nas
2
Mahmoud-Khawaja/jpf-test
0
Contributed to 4 repositories