• Mathematica

  • Referenced in 5693 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • R

  • Referenced in 7603 articles [sw00771]
  • R is a language and environment for statistical...
  • CLOS

  • Referenced in 51 articles [sw03334]
  • An environment for DEVS-based multiformalism simulation in...
  • Eiffel

  • Referenced in 105 articles [sw03522]
  • Eiffel is an ISO-standardized, object-oriented programming...
  • JML

  • Referenced in 188 articles [sw04597]
  • The Java Modeling Language (JML) is a behavioral...
  • Spec#

  • Referenced in 117 articles [sw04598]
  • The Spec# programming system is a new attempt...
  • DLMF

  • Referenced in 2019 articles [sw04968]
  • NIST digital library of mathematical functions. The National...
  • OCaml

  • Referenced in 267 articles [sw06363]
  • OCaml is the most popular variant of the...
  • Scala

  • Referenced in 73 articles [sw07180]
  • Steps in Scala. An introduction to object-functional...
  • Creol

  • Referenced in 25 articles [sw09421]
  • Creol: A type-safe object-oriented model for...
  • VMD

  • Referenced in 81 articles [sw18651]
  • VMD is a molecular visualization program for displaying...
  • Simula 67

  • Referenced in 135 articles [sw21333]
  • Simula is the name of two simulation programming...
  • GitHub

  • Referenced in 1192 articles [sw23170]
  • GitHub (originally known as Logical Awesome LLC)[3...