{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"vamos","owner":"ista-vamos","isFork":false,"description":"The main VAMOS repository","allTopics":["black-box","parallel","parallel-computing","runtime-verification","heterogeneous-systems","runtime-monitoring","runtime-monitoring-system"],"primaryLanguage":{"name":"Makefile","color":"#427819"},"pullRequestCount":0,"issueCount":6,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-20T12:44:39.294Z"}},{"type":"Public","name":"vamos-sources","owner":"ista-vamos","isFork":false,"description":"Event sources for VAMOS","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-20T12:43:08.721Z"}},{"type":"Public","name":"hna","owner":"ista-vamos","isFork":false,"description":"Library for the construction, manipulation and runtime verification of hypernode automata","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":14,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-19T12:32:51.595Z"}},{"type":"Public","name":"rv23-experiments","owner":"ista-vamos","isFork":false,"description":"Experiments from the paper \"Monitoring Hyperproperties With Prefix Transducers\" accepted at RV'23","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-08T08:48:20.038Z"}},{"type":"Public","name":"vamos-common","owner":"ista-vamos","isFork":false,"description":"Common pieces shared between repositories","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-08T08:35:06.298Z"}},{"type":"Public","name":"vamos-compiler","owner":"ista-vamos","isFork":false,"description":"Compiler for vamos specifications","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":2,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-27T12:26:41.876Z"}},{"type":"Public","name":"fase23-experiments","owner":"ista-vamos","isFork":false,"description":"Experiments for the paper \"VAMOS: Middleware for Best-Effort Third-Party Monitoring\" accepted to FASE 2023.","allTopics":["parallel-computing","ring-buffer","shared-memory","parallel-processing","runtime-verification","runtime-monitoring","shared-memory-communication","shared-memory-queue","runtime-monitoring-system"],"primaryLanguage":{"name":"SWIG","color":"#ccc"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-27T11:30:39.514Z"}},{"type":"Public","name":"sttt-experiments","owner":"ista-vamos","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"SWIG","color":"#ccc"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-26T09:27:24.510Z"}},{"type":"Public","name":"vamos-buffers","owner":"ista-vamos","isFork":false,"description":"Implementation of shared-memory ring-buffers","allTopics":["ring-buffer","shared-memory","spsc-queue","shared-memory-communication","shared-memory-queue"],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-24T06:48:49.802Z"}},{"type":"Public","name":"vamos-monitors","owner":"ista-vamos","isFork":false,"description":"A set of pre-defined monitors for VAMOS","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-06T13:53:51.367Z"}},{"type":"Public","name":"mpt","owner":"ista-vamos","isFork":false,"description":"Monitoring hyperproperties with Multi-trace prefix transducers","allTopics":["monitoring","compilers","runtime-verification","hyperproperties","runtime-monitoring"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":2,"issueCount":5,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-19T13:45:43.161Z"}},{"type":"Public","name":"vamos-hyper","owner":"ista-vamos","isFork":false,"description":"VAMOS hypertrace support library","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-08T10:57:21.594Z"}},{"type":"Public archive","name":"shamon","owner":"ista-vamos","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"SWIG","color":"#ccc"},"pullRequestCount":3,"issueCount":7,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-01-11T13:52:07.234Z"}},{"type":"Public","name":"dataracebench","owner":"ista-vamos","isFork":true,"description":"Data race benchmark suite for evaluating OpenMP correctness tools aimed to detect data races.","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":29,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-30T08:54:22.974Z"}}],"repositoryCount":14,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}