Difference between revisions of "Software"
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| | * [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.