Difference between revisions of "Software"
Jump to navigation
Jump to search
| (11 intermediate revisions by 2 users not shown) | |||
| Line 3: | Line 3: | ||
The main thesis for using [[PKC]] as a [[knowledge container]], software can be classified into these different types: | The main thesis for using [[PKC]] as a [[knowledge container]], software can be classified into these different types: | ||
==Content Capture/Storage/ | ==Container and Deployment Technologies== | ||
* [[Docker]] is the most popular container software. | |||
* [[Kubernetes]] is a way to monitor and deploy containerized software services, such as [[Docker]]. | |||
==Content Capture/Storage/Navigation Software== | |||
* [[MW:MediaWiki|MediaWiki]] is the defacto example of this kind of software. | * [[MW:MediaWiki|MediaWiki]] is the defacto example of this kind of software. | ||
* [[MW:Extension:Semantic MediaWiki|Semantic MediaWiki]] is an extension developed for [[MW:MediaWiki|MediaWiki]] to help navigate and organize content knowledge. | |||
* [https://nextcloud.com/ Nextcloud] is for sharing and navigating uploaded binary files. | * [https://nextcloud.com/ Nextcloud] is for sharing and navigating uploaded binary files. | ||
* [https://joinpeertube.org/ Peertube] is for sharing and navigating video content. | * [https://joinpeertube.org/ Peertube] is for sharing and navigating video content. | ||
* [[wikipedia:Image organizer|Image organizer]] is a [[wikipedia:Wikipedia|Wikipedia]] page that lists tools for sharing and navigating image files. | * [[wikipedia:Image organizer|Image organizer]] is a [[wikipedia:Wikipedia|Wikipedia]] page that lists tools for sharing and navigating image files. | ||
==Computation/Analytical Software== | ==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 [[wikipedia:Multiple dispatch|multiple dispatch]] to help attain software composability. | ||
* [https://www.outsystems.com OutSystems] is a full-stack application development platform that enables users to create mobile and web applications, for a wide range of devices. | |||
==Verification/Compilation Software== | ==Verification/Compilation Software== | ||
* [ | * [[Cog]] is a [[wikipedia:Proof assistant|Proof Assisting]] software to help examine logical integrity of computable statements. | ||
* [ | * [[K-Framework]] is a software verification tool designed and developed by Prof. [[wikipedia:Grigore Rosu|Grigore Rosu]]. | ||
* [ | * [[TLA+]] is a modeling language for distributed and concurrent systems, created by Dr. [[wikipedia:Leslie Lamport|Leslie Lamport]]. | ||
==Communication Software== | |||
* [[Kafka]] is a highly-scalable messaging software of passing formatted digital messages among processes. | |||
* [[Rabbit MQ]] is another highly-scalable messaging software. | |||
* [[Jamulus]] and [[JackTrip]] are software for High-Quality Audio Network Performance over the Internet. | |||
[[Category:Resource]] | [[Category:Resource]] | ||
Latest revision as of 14:08, 24 August 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:
Container and Deployment Technologies
- Docker is the most popular container software.
- Kubernetes is a way to monitor and deploy containerized software services, such as Docker.
- MediaWiki is the defacto example of this kind of software.
- Semantic MediaWiki is an extension developed for MediaWiki to help navigate and organize content knowledge.
- 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.
- OutSystems is a full-stack application development platform that enables users to create mobile and web applications, for a wide range of devices.
Verification/Compilation Software
- Cog is a Proof Assisting software to help examine logical integrity of computable statements.
- K-Framework is a software verification tool designed and developed by Prof. Grigore Rosu.
- TLA+ is a modeling language for distributed and concurrent systems, created by Dr. Leslie Lamport.