Software

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.

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.

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.

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.