• UIMP

  • Referenced in 11 articles [sw00988]
  • UIMP is a matrix-generator report-writer system designed to aid the reahzation (generation ... mathematical programming models and also the analysis-reporting of the solutions of such models...
  • Inputlog

  • Referenced in 1 article [sw30801]
  • researchers worldwide, and new research studies are reported every month (see Publications). The program enables ... accurately reconstruct the writing processes of writers who compose texts at the computer...
  • pander

  • Referenced in 1 article [sw11624]
  • pander: An R Pandoc Writer. Contains some functions catching all messages, stdout and other useful ... HTML, PDF, docx or odt. This latter reporting feature is supported in brew syntax...
  • uproot

  • Referenced in 1 article [sw30648]
  • Python ROOT”) is a reader and a writer of the ROOT file format using only ... ROOT project team, so post bug reports as uproot GitHub issues, not on any ROOT...
  • Coq

  • Referenced in 1818 articles [sw00161]
  • Coq is a formal proof management system. It...
  • PVS

  • Referenced in 624 articles [sw03484]
  • PVS is a verification system: that is, a...
  • GHC

  • Referenced in 103 articles [sw06691]
  • Secrets of the Glasgow Haskell Compiler inliner. Higher...
  • JPF-SE

  • Referenced in 11 articles [sw12038]
  • JPF-SE: a symbolic execution extension to Java...