Benoît Viguier
@ildyriaCryptographer, PhD in Formal Methods and Cryptography Main dev of @LycheeOrg
ABN AMRO Bank N.V.
Netherlands
133
Followers
16
Following
63
Public Repos
0
Private Repos
Language Breakdown
Lines of code distribution across 39 owned repositories
32.5M
Total LOC
Coq
10,731,272 lines
33.1%
N/A
HTML
10,031,663 lines
30.9%
N/A
TeX
5,668,712 lines
17.5%
N/A
OCaml
1,424,400 lines
4.4%
N/A
Python
1,091,127 lines
3.4%
N/A
Other
3,521,551 lines
10.8%
N/A
π
Pi-Shaped Developer
π-shapedTwo strong pillars: Coq & HTML
Coq
HTML
TeX
OCaml
Python
Collaboration Network
Global Impact visualization
Repos
115
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
6 days
1,658
Contributions
546
Commits
485
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
16 total
ARUNRAJPUT234
@ARUNRAJPUT234
DIGITALCRIMINAL
@DIGITALCRIMINAL
Bob
@rgmhtt
Matthias J. Kannwischer
@mkannwischer
Noah Evans
@npe9
Synced via GitHub
Top Repositories
iFilger
Light power aura classic with aura by defaults.
21
5
Lua
dotfiles
6
0
Python
Advanced-Git-In-30minutes
3
1
Python
bib.py
Simple script to align and check your file.bib.
3
1
Python
Arimaa
3
1
C++
laptop-setup-ansible
Automation of redeployment in case of Disaster Recovery 🤯
2
0
Jinja
Tukui_DrTracker
A little DrTracker for Tukui Arena Frames
2
2
Lua
version-to-regex
1
0
Go
etds-france
Website for the French team at ETDS
1
0
Astro
latexrun
A 21st century LaTeX wrapper
1
0
Python
Open Source Impact
Contributions to external projects
1872 merged PRs
LycheeOrg/Lychee
4188
LycheeOrg/LycheeOrg.github.io
12
LycheeOrg/Lychee-Docker
212
bbernhard/signal-cli-rest-api
2629
LycheeOrg/php-exif
10
DenverCoder1/github-readme-streak-stats
6919
LycheeOrg/laravel-nestedset
1
laracraft-tech/laravel-xhprof
235
meichthys/foss_photo_libraries
2770
LycheeOrg/phpstan-lychee
1
Contributed to 18 repositories