• R

  • Referenced in 5391 articles [sw00771]
  • computing and graphics. It is a GNU project which is similar to the S language...
  • UCI-ml

  • Referenced in 2403 articles [sw04074]
  • Arthur Asuncion and David Newman, and this project is in collaboration with Rexa.info...
  • LAPACK

  • Referenced in 1426 articles [sw00503]
  • precision. The original goal of the LAPACK project was to make the widely used EISPACK...
  • Coq

  • Referenced in 1378 articles [sw00161]
  • languages semantics (e.g. the CompCert compiler certification project or Java Card EAL7 certification in industrial...
  • Macaulay2

  • Referenced in 1214 articles [sw00537]
  • numbers, Ext, cohomology of coherent sheaves on projective varieties, primary decomposition of ideals, integral closure...
  • bootstrap

  • Referenced in 823 articles [sw19105]
  • Hall. This package is primarily provided for projects already based on it, and for support ... book. New projects should preferentially use the recommended package ”boot...
  • fda (R)

  • Referenced in 941 articles [sw04511]
  • book. As of this release, the R-Project is no longer distributing the Matlab versions...
  • GitHub

  • Referenced in 519 articles [sw23170]
  • requests, task management, and wikis for every project.[4] GitHub offers plans for both private ... commonly used to host open-source software projects.[6] As of April 2017, GitHub reports...
  • MiniSat

  • Referenced in 466 articles [sw00577]
  • currently used in a number of projects (see ”Links”). On this page you will find ... binaries, sources, documentation and projects related to MiniSat, including the Pseudo-boolean solver MiniSat...
  • minpack

  • Referenced in 612 articles [sw05310]
  • influenced by my involvement in the MINPACK project and by my experiences in the development...
  • KELLEY

  • Referenced in 542 articles [sw04829]
  • first part, chapter 5, studies projection methods for the solution of bound constrained problems...
  • ScaLAPACK

  • Referenced in 370 articles [sw00830]
  • continuation of the LAPACK project, which designed and produced analogous software for workstations, vector supercomputers ... eigenvalue problems. The goals of both projects are efficiency, scalability, reliability, portability, flexibility, and ease...
  • WinBUGS

  • Referenced in 497 articles [sw04492]
  • WinBUGS is part of the BUGS project, which aims to make practical MCMC methods available...
  • BUGS

  • Referenced in 261 articles [sw07885]
  • BUGS (Bayesian inference Using Gibbs Sampling) project is concerned with flexible software for the Bayesian ... Markov chain Monte Carlo (MCMC) methods. The project began in 1989 in the MRC Biostatistics ... Development is now focussed on the OpenBUGS project...
  • CGAL

  • Referenced in 274 articles [sw00118]
  • goal of the CGAL Open Source Project is to provide easy access to efficient ... mesh generation, numerical methods... More on the projects using CGAL web page. The Computational Geometry...
  • FEniCS

  • Referenced in 244 articles [sw04314]
  • FEniCS Project is a collaborative project for the development of innovative concepts and tools...
  • PSPLIB

  • Referenced in 196 articles [sw00740]
  • PSPLIB -- a project scheduling problem library. We present a set of benchmark instances ... single- and multi-mode resource-constrained project scheduling problems. The instances have been systematically generated ... standard project generator ProGen. They are characterized by the input-parameters of ProGen. The entire ... further improvements in the area of project type scheduling...
  • gmp

  • Referenced in 215 articles [sw00363]
  • programs. GMP is part of the GNU project. For more information about the GNU project...
  • WEKA

  • Referenced in 205 articles [sw06435]
  • software’s functionality, we review aspects of project management and historical development decisions that likely ... impact on the uptake of the project...
  • NuSMV

  • Referenced in 272 articles [sw04131]
  • symbolic model checker developed as a joint project between: The Embedded Systems Unit...