{"id":20116244,"url":"https://github.com/spirali/kaira","last_synced_at":"2025-06-18T22:39:20.441Z","repository":{"id":8620367,"uuid":"10263197","full_name":"spirali/kaira","owner":"spirali","description":"Main repository of project Kaira","archived":false,"fork":false,"pushed_at":"2022-06-15T21:33:02.000Z","size":2824,"stargazers_count":5,"open_issues_count":16,"forks_count":8,"subscribers_count":5,"default_branch":"master","last_synced_at":"2023-04-12T07:16:08.044Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"http://verif.cs.vsb.cz/kaira","language":"Python","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":"jozefizso/generator-license","license":"gpl-3.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/spirali.png","metadata":{"files":{"readme":"README","changelog":null,"contributing":null,"funding":null,"license":"COPYING","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2013-05-24T09:20:51.000Z","updated_at":"2023-02-22T13:48:56.000Z","dependencies_parsed_at":"2022-08-24T18:20:41.184Z","dependency_job_id":null,"html_url":"https://github.com/spirali/kaira","commit_stats":null,"previous_names":[],"tags_count":10,"template":null,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/spirali%2Fkaira","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/spirali%2Fkaira/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/spirali%2Fkaira/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/spirali%2Fkaira/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/spirali","download_url":"https://codeload.github.com/spirali/kaira/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":224507390,"owners_count":17322946,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2024-11-13T18:39:35.863Z","updated_at":"2024-11-13T18:39:36.412Z","avatar_url":"https://github.com/spirali.png","language":"Python","funding_links":[],"categories":[],"sub_categories":[],"readme":"Kaira\n=====\n\nWebsite: http://verif.cs.vsb.cz/kaira/\n\nKaira is as an open-source development environment for MPI (Message Passing\nInterface) applications. We try to provide an unified environment for\nactivities for development: prototyping, programming, testing, debugging,\nprofiling, performance prediction and verification.\n\nThe main idea is to use visual models inspired by Coloured Petri Nets.\nThis model is designed to catch parallel aspects and communication inside of\nthe developed application. We do not want to program applications completely\nin a visual way, so our models can be enriched by any sequential C++ code.\nWith such model, a user can generate MPI applications, run simulations\nor start a state-space analysis.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fspirali%2Fkaira","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fspirali%2Fkaira","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fspirali%2Fkaira/lists"}