Difference between revisions of "Software"

From PKC
Jump to navigation Jump to search
Line 13: Line 13:
* [https://jupyter.org/ Jupyter] is a web-based software development platform primary supports Python, but also supports many other languages.
* [https://jupyter.org/ Jupyter] is a web-based software development platform primary supports Python, but also supports many other languages.
* [https://www.tensorflow.org/ Tensorflow] is a end-to-end platform for machine learning, can be utilized in [[Jupyter]].
* [https://www.tensorflow.org/ Tensorflow] is a end-to-end platform for machine learning, can be utilized in [[Jupyter]].
* [https://julialang.org/ Julia] is a programming language that utilizes [[wikipedia:Multiple dispatch|Multiple dispatch]] to help attain software composability.
* [https://julialang.org/ Julia] is a programming language that utilizes [[wikipedia:Multiple dispatch|multiple dispatch]] to help attain software composability.


==Verification/Compilation Software==
==Verification/Compilation Software==

Revision as of 02:18, 17 July 2021

In PKC, software is managed as a kind of Resource.

The main thesis for using PKC as a knowledge container, software can be classified into these different types:

Content Capture/Storage/Nigation Software

  • MediaWiki is the defacto example of this kind of software.
  • Nextcloud is for sharing and navigating uploaded binary files.
  • Peertube is for sharing and navigating video content.
  • Image organizer is a Wikipedia page that lists tools for sharing and navigating image files.


Computation/Analytical Software

  • Jupyter is a web-based software development platform primary supports Python, but also supports many other languages.
  • Tensorflow is a end-to-end platform for machine learning, can be utilized in Jupyter.
  • Julia is a programming language that utilizes multiple dispatch to help attain software composability.

Verification/Compilation Software

  • MediaWiki is the defacto example of this kind of software.
  • Nextcloud is for sharing and navigating uploaded binary files.
  • Peertube is for sharing and navigating video content.
  • Image organizer is a Wikipedia page that lists tools for sharing and navigating image files.