Difference between revisions of "Software"

Revision as of 02:50, 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:

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.

Cog is a Proof Assisting software to help examine logical integrity of computable statements.
K Semantic 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.

@@ Line 18: / Line 18: @@
 * [[Cog]] is a [[wikipedia:Proof assistant|Proof Assisting]] software to help examine logical integrity of computable statements.
 * [https://kframework.org/ K Semantic Framework] is a software verification tool designed and developed by Prof. [[wikipedia:Grigore Rosu|Grigore Rosu]].
-* [http://lamport.azurewebsites.net/tla/tla.html TLA+] is a modeling language for distributed and concurrent systems, created by Dr. [[wikipedia:Leslie Lamport|Leslie Lamport]].
+* [[TLA+]] is a modeling language for distributed and concurrent systems, created by Dr. [[wikipedia:Leslie Lamport|Leslie Lamport]].
 [[Category:Resource]]