Guillaume Melquiond

Orsay, France

Languages

Analyzed about 14 hours ago

Language	Aggregate Coding Time	Total Commits	Total Lines Changed	Most Commits:		Most Recent Commit:

Language	Aggregate Coding Time	Total Commits	Total Lines Changed	Project	Commits	Project	Commit Month
C++	almost 8 years	2,286	161,052	Battle for We...	1767	R Remake	Jul 2025
O Caml	about 12 years	1,258	134,157	Why3	960	Why3	Apr 2025
Make	over 8 years	490	11,337	Why3	475	Why3	Apr 2025
Autoconf	over 7 years	279	10,354	Why3	235	Why3	May 2025
Ruby	over 5 years	231	148,479	Why3	230	Why3	Dec 2024
Coq	about 7 years	318	507,280	Why3	226	Coq proof ass...	Jul 2024
Shell Script	over 5 years	231	7,338	Why3	199	R Remake	Jul 2025
Xml	over 5 years	192	595,995	Why3	154	Why3	Oct 2024
Te X/La Te X	about 5 years	224	33,184	Why3	139	Why3	Feb 2020
Lua	over 1 year	111	2,670	Battle for We...	94	Battle for We...	Dec 2010
C	over 5 years	198	39,088	The Mana Project	63	Why3	May 2025
Python	almost 3 years	79	1,397	Why3	58	Why3	Dec 2024
Automake	about 3 years	99	1,921	Battle for We...	48	Why3	Feb 2020
Java Script	over 1 year	39	12,910	Why3	39	Why3	Dec 2024
Html	over 2 years	56	3,855	Why3	33	Why3	Dec 2024
C Make	over 1 year	19	25	Battle for We...	16	Battle for We...	Dec 2010
Emacs Lisp	11 months	15	151	Why3	14	Why3	Oct 2022
Css	7 months	13	767	Why3	13	Why3	Nov 2023
Jam	5 months	8	140	Boost C++ Lib...	8	Boost C++ Lib...	Jul 2004
Perl	2 months	3	21	Battle for We...	3	Battle for We...	Dec 2010
Nix	about 1 month	1	9	Coq proof ass...	1	Coq proof ass...	May 2022
Nsis	about 1 month	1	2	Coq proof ass...	1	Coq proof ass...	Sep 2015
Scheme	about 1 month	1	9	Coq proof ass...	1	Coq proof ass...	Jul 2019
Vim Script	about 1 month	1	26	Why3	1	Why3	Feb 2020