• Magma

  • Referenced in 2718 articles [sw00540]
  • encourage all users to report any bugs they find; regular patch fixes are available from...
  • GitHub

  • Referenced in 1266 articles [sw23170]
  • control and several collaboration features such as bug tracking, feature requests, task management, and wikis...
  • WinBUGS

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

  • Referenced in 334 articles [sw07885]
  • BUGS (Bayesian inference Using Gibbs Sampling) project is concerned with flexible software for the Bayesian ... Cambridge, and led initially to the `Classic’ BUGS program, and then onto the WinBUGS software...
  • JAGS

  • Referenced in 173 articles [sw08040]
  • Monte Carlo (MCMC) simulation not wholly unlike BUGS. JAGS was written with three aims ... have a cross-platform engine for the BUGS language. (2) To be extensible, allowing users...
  • EMD

  • Referenced in 204 articles [sw14902]
  • Please let me know of any bugs you find, or any questions, comments, suggestions...
  • tsbridge

  • Referenced in 160 articles [sw12354]
  • Bayesian models, where parameters are estimated using BUGS, and models themselves are created using...
  • PMTK

  • Referenced in 146 articles [sw14689]
  • toolbox is in maintenance mode, meaning that bugs will be fixed, but no new features...
  • BLAST

  • Referenced in 123 articles [sw02937]
  • Repository tab. You may file a bug here as well. BLAST and all the components...
  • OpenBUGS

  • Referenced in 68 articles [sw08316]
  • BUGS is a software package for performing Bayesian inference Using Gibbs Sampling. The user specifies ... types. There are two main versions of BUGS, namely WinBUGS and OpenBUGS. This site ... OpenBUGS, therefore, represents the future of the BUGS project. WinBUGS, on the other hand...
  • COIN-OR

  • Referenced in 96 articles [sw04615]
  • improve it, people adapt it, people fix bugs. The results of open-source development have...
  • STL

  • Referenced in 78 articles [sw11800]
  • classical C/C++ errors, but does not warrant bug-free programs. Furthermore, many new kinds...
  • LDPC

  • Referenced in 77 articles [sw03321]
  • latest release. Github also provides facilities for bug reporting and discussion...
  • R2WinBUGS

  • Referenced in 68 articles [sw04494]
  • package, it is possible to call a BUGS model, summarize inferences and convergence...
  • SOM

  • Referenced in 60 articles [sw07375]
  • mention those who have contributed code, given bug reports or other feedback. The common factor...
  • Valgrind

  • Referenced in 55 articles [sw04420]
  • automatically detect many memory management and threading bugs, and profile your programs in detail...
  • KLEE

  • Referenced in 38 articles [sw04894]
  • them. We also used KLEE as a bug finding tool, applying it to 452 applications ... code), where it found 56 serious bugs, including three in COREUTILS that had been missed...
  • CompCert

  • Referenced in 42 articles [sw09737]
  • ruling out the possibility of compiler-introduced bugs, verified compilers strengthen the guarantees that...
  • Zing

  • Referenced in 38 articles [sw01037]
  • used for verifying and finding bugs in software at various levels: high-level protocol descriptions...
  • Hmisc

  • Referenced in 38 articles [sw04530]
  • LaTeX code, and recoding variables. Please submit bug reports to ’http://biostat.mc.vanderbilt.edu/trac/Hmisc’....