https://github.com/spirali/kaira

Main repository of project Kaira
https://github.com/spirali/kaira

Last synced: 12 months ago
JSON representation

Main repository of project Kaira

• Host: GitHub
• URL: https://github.com/spirali/kaira
• Owner: spirali
• License: gpl-3.0
• Created: 2013-05-24T09:20:51.000Z (about 13 years ago)
• Default Branch: master
• Last Pushed: 2022-06-15T21:33:02.000Z (almost 4 years ago)
• Last Synced: 2023-04-12T07:16:08.044Z (about 3 years ago)
• Language: Python
• Homepage: http://verif.cs.vsb.cz/kaira
• Size: 2.69 MB
• Stars: 5
• Watchers: 5
• Forks: 8
• Open Issues: 16
• Metadata Files:
  • Readme: README
  • License: COPYING

Awesome Lists containing this project

README

          
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.