• UCI-ml

  • Referenced in 2945 articles [sw04074]
  • service to the machine learning community. You may view all data sets through our searchable ... that are used by the machine learning community for the empirical analysis of machine learning...
  • Magma

  • Referenced in 2747 articles [sw00540]
  • made by many members of the mathematical community. We encourage all users to report...
  • SageMath

  • Referenced in 1538 articles [sw00825]
  • extremely strong emphasis on openness, community, cooperation, and collaboration: we are building...
  • YALMIP

  • Referenced in 878 articles [sw04595]
  • package initially aimed at the control community and focused on semidefinite programming, but the latest...
  • SparseMatrix

  • Referenced in 600 articles [sw04629]
  • widely used by the numerical linear algebra community for the development and performance evaluation...
  • TPTP

  • Referenced in 372 articles [sw04143]
  • systems. The TPTP supplies the ATP community with: A comprehensive library of the ATP test...
  • Bioconductor

  • Referenced in 282 articles [sw04205]
  • software packages, and an active user community. Bioconductor is also available as an Amazon Machine...
  • Smalltalk

  • Referenced in 177 articles [sw01561]
  • continuing active development and have gathered loyal communities of users around them. ANSI Smalltalk...
  • PDDL

  • Referenced in 89 articles [sw07079]
  • recent years research in the planning community has moved increasingly toward s application of planners ... planning demonstrated by the space res earch community has inspired work in observation scheduling, planetary ... manufacturing have also helped to focus the community on the modelling and reasoning issues that ... petition (held in 2002) set the planning community the challenge of handling time and numeric...
  • COIN-OR

  • Referenced in 96 articles [sw04615]
  • open-source software for the operations research community. Why open source? The Open Source Initiative ... open-source development have been remarkable. Community-based efforts to develop software under open-source ... original algorithm was publicly available in a community repository. Weeks of re-implementing would...
  • Miranda

  • Referenced in 150 articles [sw04986]
  • found out so far to a larger community, in the form of stable implementations...
  • igraph

  • Referenced in 139 articles [sw07066]
  • some recent network analysis methods, like community structure search. The efficient implementation of igraph allows...
  • PARAMESH

  • Referenced in 97 articles [sw00677]
  • PARAMESH: A parallel adaptive mesh refinement community toolkit. In this paper we describe a community...
  • Cactus

  • Referenced in 78 articles [sw04422]
  • multi-platform, high performance applications across diverse communities. We then describe the design ... being used by various application communities, and describe how it will also enable these applications...
  • Graphs

  • Referenced in 104 articles [sw12277]
  • been considered by researchers from various communities (sometimes under different names): algorithm engineers construct fast...
  • GenLouvain

  • Referenced in 70 articles [sw13826]
  • Generalized Louvain Method for Community Detection Implemented in MATLAB. This ”generalized Louvain” MATLAB code ... community detection allows the user to define a quality function in terms of a generalized...
  • Sage-Combinat

  • Referenced in 96 articles [sw16448]
  • Sage, developed by a community of researchers. The intent is that most of those branches...
  • SHOGUN

  • Referenced in 95 articles [sw03517]
  • already widely adopted in the machine learning community and beyond. SHOGUN is implemented...
  • PPL

  • Referenced in 92 articles [sw05357]
  • important role in the formal methods community and several critical tasks rely on their software...
  • OpenCV

  • Referenced in 89 articles [sw11376]
  • more than 47 thousand people of user community and estimated number of downloads exceeding...