欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
FLOSSmole
来自开放百科 - 灰狐
FLOSSmole collaborative collection and analysis of free/libre/open source project data.
License : Artistic License, MIT License
Programming Language : Java, Perl
FLOSSmole aims to:
- provide raw data about open source projects
- provide summary reports about open source projects
- integrate donated data from other research teams
- provide some tools so that you can gather your own data
Links
分享您的观点