• Magma

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

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

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

  • Referenced in 364 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 209 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 215 articles [sw14902]
  • Please let me know of any bugs you find, or any questions, comments, suggestions...
  • PMTK

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

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

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

  • Referenced in 74 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 98 articles [sw04615]
  • improve it, people adapt it, people fix bugs. The results of open-source development have...
  • STL

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

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

  • Referenced in 79 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...
  • KLEE

  • Referenced in 43 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...
  • Valgrind

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

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

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

  • Referenced in 41 articles [sw34795]
  • program analysis tools, theorem provers, automated bug finders, cryptographic algorithms, intelligent fuzzers and model checkers...