{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"examples","owner":"TorXakis","isFork":false,"description":"Examples for TorXakis","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-10-11T23:34:05.805Z"}},{"type":"Public","name":"Dependencies","owner":"TorXakis","isFork":false,"description":"Versions of external software TorXakis depends on","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Roff","color":"#ecdebe"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-09-21T13:15:11.651Z"}},{"type":"Public","name":"homebrew-TorXakis","owner":"TorXakis","isFork":false,"description":"Homebrew repository for TorXakis","topicNames":["macos","homebrew"],"topicsNotShown":0,"allTopics":["macos","homebrew"],"primaryLanguage":{"name":"Ruby","color":"#701516"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-09-20T09:11:09.641Z"}},{"type":"Public","name":"mps-TorXakis","owner":"TorXakis","isFork":false,"description":"A definition of the TorXakis language in MPS","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"JetBrains MPS","color":"#21D789"},"pullRequestCount":0,"issueCount":9,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-09-01T13:55:03.904Z"}},{"type":"Public","name":"develdocs","owner":"TorXakis","isFork":false,"description":"Development documentation for TorXakis","topicNames":["documentation"],"topicsNotShown":0,"allTopics":["documentation"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-04-25T15:43:02.815Z"}},{"type":"Public","name":"userdocs","owner":"TorXakis","isFork":false,"description":"User documentation for TorXakis","topicNames":["documentation"],"topicsNotShown":0,"allTopics":["documentation"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-04-22T16:29:48.149Z"}},{"type":"Public","name":"TorXakis","owner":"TorXakis","isFork":false,"description":"A tool for Model Based Testing","topicNames":["test","model","test-suite","formal-methods","testing-framework","test-case-generation","testing-tool","composable-models","executable-specification"],"topicsNotShown":0,"allTopics":["test","model","test-suite","formal-methods","testing-framework","test-case-generation","testing-tool","composable-models","executable-specification"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":1,"issueCount":325,"starsCount":47,"forksCount":12,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-04-17T08:11:20.817Z"}},{"type":"Public","name":"yed2stautdef","owner":"TorXakis","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-09-15T09:22:32.675Z"}},{"type":"Public","name":"torxakis.github.io","owner":"TorXakis","isFork":false,"description":"main website","topicNames":["website"],"topicsNotShown":0,"allTopics":["website"],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-08-27T14:34:12.251Z"}},{"type":"Public","name":"SourceWindowsInstaller","owner":"TorXakis","isFork":false,"description":"Code for a Windows installer of TorXakis","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-01-06T16:30:16.536Z"}},{"type":"Public","name":"SupportEclipse","owner":"TorXakis","isFork":false,"description":"Support for editing TorXakis files in Eclipse ","topicNames":["eclipse-plugin","editor-plugin"],"topicsNotShown":0,"allTopics":["eclipse-plugin","editor-plugin"],"primaryLanguage":null,"pullRequestCount":1,"issueCount":1,"starsCount":0,"forksCount":2,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-08-16T07:52:31.153Z"}},{"type":"Public","name":"SupportEmacs","owner":"TorXakis","isFork":false,"description":"Support for editing TorXakis models on Emacs","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Emacs Lisp","color":"#c065db"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-05-29T15:37:42.193Z"}},{"type":"Public","name":"text-via-sockets","owner":"TorXakis","isFork":false,"description":"Send Text lines using sockets","topicNames":["haskell","networking","haskell-library","socket"],"topicsNotShown":0,"allTopics":["haskell","networking","haskell-library","socket"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":3,"starsCount":3,"forksCount":1,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-01-04T13:13:38.775Z"}},{"type":"Public","name":"SupportNotepadPlusPlus","owner":"TorXakis","isFork":false,"description":"Support for editing TorXakis files in Notepad++","topicNames":["editor-plugin","notepad-plusplus-plugin"],"topicsNotShown":0,"allTopics":["editor-plugin","notepad-plusplus-plugin"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-07-21T08:29:48.707Z"}}],"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"}