forked from spirali/kaira
-
Notifications
You must be signed in to change notification settings - Fork 0
Visual development environment for MPI applications.
License
elieux-contrib/kaira
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
Kaira ===== Website: http://verif.cs.vsb.cz/kaira/ Kaira is as an open-source development environment for MPI (Message Passing Interface) applications. We try to provide an unified environment for activities for development: prototyping, programming, testing, debugging, profiling, performance prediction and verification. The main idea is to use visual models inspired by Coloured Petri Nets. This model is designed to catch parallel aspects and communication inside of the developed application. We do not want to program applications completely in a visual way, so our models can be enriched by any sequential C++ code. With such model, a user can generate MPI applications, run simulations or start a state-space analysis.
About
Visual development environment for MPI applications.
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- Python 80.9%
- C++ 15.0%
- C 4.1%