Difference between revisions of "Software"

Revision as of 02:31, 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.
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 17: / Line 17: @@
 ==Verification/Compilation Software==
 * [https://coq.inria.fr/ Cog] is a [[wikipedia:Proof assistant|Proof Assisting]] software to help examine logical integrity of computable statements.
-* [https://nextcloud.com/ Nextcloud] is for sharing and navigating uploaded binary files.
+* [https://kframework.org/ K Semantic Framework] is a software verification tool designed and developed by Prof. [[wikipedia:Grigore Rosu|Grigore Rosu]].
-* [https://joinpeertube.org/ Peertube] is for sharing and navigating video content.
+* [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]].
-* [[wikipedia:Image organizer|Image organizer]] is a [[wikipedia:Wikipedia|Wikipedia]] page that lists tools for sharing and navigating image files.
 [[Category:Resource]]