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.

Content Capture/Storage/Navigation Software

• 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.

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.

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.