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:

Content Capture/Storage/Nigation 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.