Skip to content
GitLab

TaRDIS Tools and APIs · Changes

Page history
Update links to PTB-FLA-and-MPT-FLA.md authored by Lucas Clorius's avatar Lucas Clorius
Hide whitespace changes
Inline Side-by-side
TaRDIS-Tools-and-APIs.md
View page @ 2a26b5ba
......@@ -12,7 +12,7 @@ The tools below support the development of swarm applications making use of [man
* [Actyx](TaRDIS-Tools-and-APIs/Managed-Swarm-Elements/Actyx): Toolkit supporting the development and execution of managed swarm elements based on swarm protocols.
* [DCR Editor](TaRDIS-Tools-and-APIs/Managed-Swarm-Elements/DCR-Editor): **TODO:** Add a one-line description.
* [PTB-FLA](TaRDIS-Tools-and-APIs/Managed-Swarm-Elements/PTB-FLA): **TODO:** Add a one-line description.
* [PTB-FLA](TaRDIS-Tools-and-APIs/Managed-Swarm-Elements/PTB-FLA-and-MPT-FLA): **TODO:** Add a one-line description.
## Free-form Swarm Elements
......@@ -32,7 +32,7 @@ Short overall introduction.
* [JaTyC](TaRDIS-Tools-and-APIs/Analysis-and-Verification-Facilities/JaTyC): **TODO:** Add a one-line description.
* [JoinActors](TaRDIS-Tools-and-APIs/Analysis-and-Verification-Facilities/JoinActors): API for distributed systems based on join patterns, ensuring that complex combinations of incoming messages/events are processed correctly and fairly.
* [PSPSP](TaRDIS-Tools-and-APIs/Analysis-and-Verification-Facilities/PSPSP): **TODO:** Add a one-line description.
* [PTB-FLA](TaRDIS-Tools-and-APIs/Managed-Swarm-Elements/PTB-FLA): **TODO:** Add a one-line description.
* [PTB-FLA](TaRDIS-Tools-and-APIs/Managed-Swarm-Elements/PTB-FLA-and-MPT-FLA): **TODO:** Add a one-line description.
* [REPL](TaRDIS-Tools-and-APIs/Analysis-and-Verification-Facilities/REPL): **TODO:** Add a one-line description.
* [Scribble](TaRDIS-Tools-and-APIs/Analysis-and-Verification-Facilities/Scribble): Toolchain based on Multiparty Session Types (MPST) for specifing and verifying communication properties such as communication safety, deadlock freedom, and liveness.
* [(Sec)ReGraDa](TaRDIS-Tools-and-APIs/Analysis-and-Verification-Facilities/\(Sec\)Regrada): **TODO:** Add a one-line description
......@@ -43,7 +43,7 @@ Short overall introduction.
Short overall introduction.
* [PTB-FLA](TaRDIS-Tools-and-APIs/Managed-Swarm-Elements/PTB-FLA): **TODO:** Add a one-line description.
* [PTB-FLA](TaRDIS-Tools-and-APIs/Managed-Swarm-Elements/PTB-FLA-and-MPT-FLA): **TODO:** Add a one-line description.
* [Flower-based Federated Learning](TaRDIS-Tools-and-APIs/Artificial-Intelligence-and-Machine-Learning-APIs/Flower-based-Federated-Learning-APIs): **TODO:** Add a one-line description.
* [Fedra](TaRDIS-Tools-and-APIs/Artificial-Intelligence-and-Machine-Learning-APIs/Fedra): A decentralized federated learning framework enabling secure P2P model training on edge devices.
* [FLaaS](TaRDIS-Tools-and-APIs/Artificial-Intelligence-and-Machine-Learning-APIs/FLaaS): **TODO:** Add a one-line description.
......