Guillaume Melquiond : Languages

Languages

Analyzed about 1 year 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,284	161,028	Battle for We...	1767	Boost C++ Lib...	Apr 2021
O Caml	over 11 years	1,222	133,461	Why3	930	Coq proof ass...	Jan 2024
Make	over 8 years	464	10,943	Why3	449	Coq proof ass...	Feb 2023
Ruby	over 5 years	221	147,669	Why3	220	Why3	Nov 2023
Coq	almost 7 years	310	506,853	Why3	219	Coq proof ass...	Sep 2023
Autoconf	about 7 years	253	9,984	Why3	209	Why3	Nov 2023
Shell Script	about 5 years	214	7,207	Why3	185	Why3	Jan 2024
Xml	over 5 years	191	595,993	Why3	153	Why3	Mar 2023
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	almost 5 years	185	39,023	The Mana Project	63	Why3	Nov 2023
Python	over 2 years	69	1,381	Why3	48	Why3	Nov 2023
Automake	about 3 years	99	1,921	Battle for We...	48	Why3	Feb 2020
Java Script	about 1 year	32	12,910	Why3	32	Why3	Mar 2023
Html	over 2 years	49	3,791	Why3	26	Why3	Mar 2023
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
Nsis	about 1 month	1	2	Coq proof ass...	1	Coq proof ass...	Sep 2015
Nix	about 1 month	1	9	Coq proof ass...	1	Coq proof ass...	May 2022
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