{"payload":{"pageCount":2,"repositories":[{"type":"Public","name":"storm-doc","owner":"moves-rwth","isFork":false,"description":"Storm documentation with Doxygen","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-27T08:30:29.067Z"}},{"type":"Public","name":"stormvogel","owner":"moves-rwth","isFork":false,"description":"Storm for almost everyone","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":18,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-26T19:28:21.353Z"}},{"type":"Public","name":"stormpy","owner":"moves-rwth","isFork":false,"description":"Python Bindings for the Probabilistic Model Checker Storm","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":3,"issueCount":19,"starsCount":30,"forksCount":16,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-26T15:17:37.599Z"}},{"type":"Public","name":"storm","owner":"moves-rwth","isFork":false,"description":"A Modern Probabilistic Model Checker","allTopics":["research","fault-tree","markov-chain","model-checking","model-checker","ctmc","pomdp","mdp","dtmc"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":12,"issueCount":85,"starsCount":134,"forksCount":74,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-24T13:21:03.624Z"}},{"type":"Public","name":"pycarl","owner":"moves-rwth","isFork":false,"description":"Python bindings for carl","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":2,"starsCount":10,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-09T07:56:53.295Z"}},{"type":"Public","name":"docker-storm","owner":"moves-rwth","isFork":false,"description":"Dockerfiles related to Storm","allTopics":[],"primaryLanguage":{"name":"Dockerfile","color":"#384d54"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-04T19:42:56.459Z"}},{"type":"Public","name":"storm-website","owner":"moves-rwth","isFork":false,"description":"Storm website","allTopics":[],"primaryLanguage":{"name":"SCSS","color":"#c6538c"},"pullRequestCount":0,"issueCount":1,"starsCount":1,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-04T13:54:16.370Z"}},{"type":"Public","name":"carl-storm","owner":"moves-rwth","isFork":false,"description":"The Computer ARithmetic and Logic library for the Storm model checker","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":2,"issueCount":2,"starsCount":4,"forksCount":3,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-03T10:06:00.006Z"}},{"type":"Public","name":"caesar","owner":"moves-rwth","isFork":false,"description":"Deductive verification infrastructure for probabilistic programs","allTopics":["programming-language","probabilistic-programs","deductive-verification"],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":2,"issueCount":19,"starsCount":13,"forksCount":3,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-21T08:54:23.618Z"}},{"type":"Public template","name":"storm-project-starter-cpp","owner":"moves-rwth","isFork":false,"description":"Starter project for the C++ API of Storm","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":4,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-12T12:36:39.096Z"}},{"type":"Public template","name":"storm-project-starter-python","owner":"moves-rwth","isFork":false,"description":"Starter project for the Python API of Storm via Stormpy","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-12T12:29:49.300Z"}},{"type":"Public","name":"carl-parser","owner":"moves-rwth","isFork":false,"description":"Parser for carl data structures","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-08T11:59:47.630Z"}},{"type":"Public","name":"homebrew-storm","owner":"moves-rwth","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Ruby","color":"#701516"},"pullRequestCount":1,"issueCount":1,"starsCount":1,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-21T13:24:33.461Z"}},{"type":"Public","name":"cegispro2","owner":"moves-rwth","isFork":false,"description":"Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":1,"starsCount":1,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-10T13:25:21.047Z"}},{"type":"Public","name":"prophesy","owner":"moves-rwth","isFork":false,"description":"Parameter Synthesis in Markov Models","allTopics":["research","parameters","markov-chain","model-checking"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":1,"starsCount":6,"forksCount":3,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-07T21:30:09.902Z"}},{"type":"Public","name":"stormpyter","owner":"moves-rwth","isFork":false,"description":"Jupyter notebooks for Storm(py)","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-13T15:14:10.134Z"}},{"type":"Public","name":"nitwit-validator","owner":"moves-rwth","isFork":false,"description":"A simple interpreter-based violation witness validator for C code.","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":2,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-12T18:08:41.377Z"}},{"type":"Public","name":"shepherd","owner":"moves-rwth","isFork":false,"description":"Shepherding Hordes of Markov Chains","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-16T09:04:17.521Z"}},{"type":"Public","name":"homebrew-misc","owner":"moves-rwth","isFork":false,"description":"A repository containing miscellaneous homebrew formulas.","allTopics":[],"primaryLanguage":{"name":"Ruby","color":"#701516"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-12T13:50:59.402Z"}},{"type":"Public","name":"pomdp-collection","owner":"moves-rwth","isFork":false,"description":"Collection of partially observable MDPs described using the PRISM language","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-03T13:47:50.491Z"}},{"type":"Public","name":"dynasty","owner":"moves-rwth","isFork":false,"description":"Synthesis of probabilistic programs for given PCTL specifications","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":7,"starsCount":0,"forksCount":1,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-02-06T21:47:46.611Z"}},{"type":"Public","name":"attestor","owner":"moves-rwth","isFork":false,"description":"A Shape Analysis Tool based on Graph Grammars","allTopics":["research","static-code-analysis","model-checking","static-analyzer","heap"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":5,"issueCount":0,"starsCount":10,"forksCount":4,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-22T10:18:45.346Z"}},{"type":"Public","name":"dft-bdmp","owner":"moves-rwth","isFork":false,"description":"Transformation from Boolean Logic Driven Markov Processes (BDMPs) to Dynamic Fault Trees (DFTs)","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-09T15:03:16.725Z"}},{"type":"Public","name":"storm-pomdp-to-prism-pomdp","owner":"moves-rwth","isFork":false,"description":"Small explicit export of POMDPs in storm to POMDPs in prism-format","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-02T07:48:35.596Z"}},{"type":"Public","name":"c-code-generator","owner":"moves-rwth","isFork":false,"description":"A tool for generating configurable Benchmarks for C Model Checkers","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-01-10T11:54:58.460Z"}},{"type":"Public","name":"attestor-examples","owner":"moves-rwth","isFork":false,"description":"A collection of examples and benchmarks for attestor.","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-12-17T10:57:31.674Z"}},{"type":"Public","name":"dft-gui","owner":"moves-rwth","isFork":false,"description":"Visualization for Dynamic Fault Trees","allTopics":["fault-tree","fta","dynamic-fault-trees"],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":13,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-10-28T09:29:24.710Z"}},{"type":"Public","name":"kipro2","owner":"moves-rwth","isFork":false,"description":"k-Induction and Bounded Model Checking for Probabilistic Programs","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-07-29T03:26:40.202Z"}},{"type":"Public","name":"gradient-descent-experiments","owner":"moves-rwth","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-05-10T19:41:38.165Z"}},{"type":"Public","name":"attestor-confluence","owner":"moves-rwth","isFork":false,"description":"The (backwards-)confluence checker for data structure HRGs in ATTESTOR","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-04-28T10:22:35.433Z"}}],"repositoryCount":41,"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":"moves-rwth repositories"}