{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"cauder","owner":"mistupv","isFork":false,"description":"A Causal-Consistent Reversible Debugger for Erlang","topicNames":["wxwidgets","concurrent-programming","abstract-syntax-tree","reversible-computation","causal-consistency","debugger","erlang"],"topicsNotShown":0,"allTopics":["wxwidgets","concurrent-programming","abstract-syntax-tree","reversible-computation","causal-consistency","debugger","erlang"],"primaryLanguage":{"name":"Erlang","color":"#B83998"},"pullRequestCount":3,"issueCount":1,"starsCount":16,"forksCount":4,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-26T12:54:05.118Z"}},{"type":"Public","name":"JavaSlicer","owner":"mistupv","isFork":false,"description":"A program slicer for Java, based on the system dependence graph (SDG).","topicNames":["static-analysis","dependence-graph","sdg","slicer","program-slicing"],"topicsNotShown":0,"allTopics":["static-analysis","dependence-graph","sdg","slicer","program-slicing"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":2,"issueCount":4,"starsCount":50,"forksCount":16,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-07T07:21:40.432Z"}},{"type":"Public","name":"slicerl","owner":"mistupv","isFork":false,"description":"Slicing for Erlang","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Erlang","color":"#B83998"},"pullRequestCount":0,"issueCount":0,"starsCount":8,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-11T10:31:08.256Z"}},{"type":"Public","name":"EDG","owner":"mistupv","isFork":false,"description":"The Expression Dependence Graph, a data structure for program slicing that improves upon the System Dependence Graph.","topicNames":["static-analysis","sdg","program-slicing","edg"],"topicsNotShown":0,"allTopics":["static-analysis","sdg","program-slicing","edg"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":1,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-29T18:12:32.085Z"}},{"type":"Public","name":"prologt","owner":"mistupv","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Prolog","color":"#74283c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-03-05T22:06:32.111Z"}},{"type":"Public","name":"xgen","owner":"mistupv","isFork":false,"description":"An explanation generator for ProbLog","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Prolog","color":"#74283c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-02-11T18:47:33.641Z"}},{"type":"Public","name":"tnt","owner":"mistupv","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Prolog","color":"#74283c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-01-30T22:42:28.975Z"}},{"type":"Public","name":"rever","owner":"mistupv","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Prolog","color":"#74283c"},"pullRequestCount":0,"issueCount":0,"starsCount":7,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-15T08:13:48.601Z"}},{"type":"Public","name":"cauder-core","owner":"mistupv","isFork":false,"description":"A Causal-Consistent Debugger for (Core) Erlang","topicNames":["debugging","consistency","concurrent-programming","reversible","causality","core-erlang","reversible-computation","causal-consistency","erlang","wxwidgets"],"topicsNotShown":0,"allTopics":["debugging","consistency","concurrent-programming","reversible","causality","core-erlang","reversible-computation","causal-consistency","erlang","wxwidgets"],"primaryLanguage":{"name":"Erlang","color":"#B83998"},"pullRequestCount":0,"issueCount":0,"starsCount":18,"forksCount":3,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-07-08T10:11:02.980Z"}},{"type":"Public","name":"tracer","owner":"mistupv","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Erlang","color":"#B83998"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-05-31T08:49:48.407Z"}},{"type":"Public","name":"java-slicing-benchmarks","owner":"mistupv","isFork":false,"description":"Benchmarks for Java program slicers","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-01-14T10:42:10.062Z"}},{"type":"Public","name":"csp_tracker","owner":"mistupv","isFork":false,"description":"CSP-Tracker: Generator of CSP tracks","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Erlang","color":"#B83998"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-12-07T15:11:57.126Z"}},{"type":"Public","name":"secer","owner":"mistupv","isFork":true,"description":"SecEr: Erlang Code Evolution Control Tool","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Erlang","color":"#B83998"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-01-23T12:08:47.413Z"}},{"type":"Public","name":"erlmix","owner":"mistupv","isFork":false,"description":"Erlang partial evaluator","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Erlang","color":"#B83998"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-07-09T11:28:10.894Z"}},{"type":"Public","name":"edd","owner":"mistupv","isFork":true,"description":"Erlang Declarative Debugger","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Erlang","color":"#B83998"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":4,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-03-22T10:04:25.146Z"}},{"type":"Public","name":"SWIPrologZ3","owner":"mistupv","isFork":false,"description":"A simple Prolog API for the Z3 constraint solver","topicNames":["c","api","prolog","z3","swi","z3-smt-solver"],"topicsNotShown":0,"allTopics":["c","api","prolog","z3","swi","z3-smt-solver"],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":14,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-02-05T08:07:09.258Z"}},{"type":"Public","name":"dining-philos","owner":"mistupv","isFork":false,"description":"An implementation of the dining philosophers problem in Erlang","topicNames":["debugging","erlang","concurrency","dining-philosophers","dining-philosophers-problem"],"topicsNotShown":0,"allTopics":["debugging","erlang","concurrency","dining-philosophers","dining-philosophers-problem"],"primaryLanguage":{"name":"Erlang","color":"#B83998"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-12-06T11:21:35.949Z"}},{"type":"Public","name":"rev-erlang","owner":"mistupv","isFork":false,"description":"An implementation of the reversible semantics for Erlang.","topicNames":["reversible-computation","erlang","evaluation","wxwidgets","reversible-semantics","rev-erlang"],"topicsNotShown":0,"allTopics":["reversible-computation","erlang","evaluation","wxwidgets","reversible-semantics","rev-erlang"],"primaryLanguage":{"name":"Erlang","color":"#B83998"},"pullRequestCount":0,"issueCount":0,"starsCount":13,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-11-09T15:42:40.608Z"}},{"type":"Public","name":"Magic-Tool","owner":"mistupv","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-09-11T14:26:18.876Z"}},{"type":"Public","name":"Magic-Button","owner":"mistupv","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Erlang","color":"#B83998"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-09-11T14:22:31.891Z"}},{"type":"Public","name":"e-Knife","owner":"mistupv","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-09-11T13:59:10.834Z"}},{"type":"Public","name":"csp_reversible","owner":"mistupv","isFork":true,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Erlang","color":"#B83998"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-06-04T16:48:04.199Z"}},{"type":"Public","name":"pn_suite","owner":"mistupv","isFork":true,"description":"A suite of tools for Petri Nets ","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Erlang","color":"#B83998"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-04-07T14:30:59.905Z"}},{"type":"Public","name":"rev-rewriting","owner":"mistupv","isFork":false,"description":"A tool for the transformation of an irreversible Term Rewriting System into a reversible one","topicNames":["functional-programming","prolog","term-rewriting","reversible-computation","program-inversion","transformations","trs"],"topicsNotShown":0,"allTopics":["functional-programming","prolog","term-rewriting","reversible-computation","program-inversion","transformations","trs"],"primaryLanguage":{"name":"Prolog","color":"#74283c"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-01-20T10:50:38.556Z"}},{"type":"Public","name":"slice_dialyzer","owner":"mistupv","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Erlang","color":"#B83998"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2012-11-13T04:01:14.000Z"}}],"repositoryCount":25,"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"}