{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"ralib","owner":"LearnLib","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":3,"issueCount":7,"starsCount":4,"forksCount":2,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-07T20:37:55.402Z"}},{"type":"Public","name":"automatalib","owner":"LearnLib","isFork":false,"description":"A free, open-source Java library for modeling automata, graphs, and transition systems","allTopics":["java","automata","graph","java-library","transition-systems"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":2,"starsCount":89,"forksCount":34,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-06T13:52:55.389Z"}},{"type":"Public","name":"alex","owner":"LearnLib","isFork":false,"description":"Automata Learning EXperience (ALEX) - A free and open-source web application for testing and learning web applications via active automata learning","allTopics":["machine-learning","web-application","automata-learning-algorithms","automata-learning","java","selenium","learnlib"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":3,"issueCount":10,"starsCount":34,"forksCount":5,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-05T14:37:51.959Z"}},{"type":"Public","name":"learnlib","owner":"LearnLib","isFork":false,"description":"A free, open-source Java library for automata learning algorithms","allTopics":["java","machine-learning","java-library","automata-learning-algorithms"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":6,"starsCount":198,"forksCount":52,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-05T13:18:44.603Z"}},{"type":"Public","name":"learnlib.github.io","owner":"LearnLib","isFork":false,"description":"The source code of the learnlib.de website","allTopics":[],"primaryLanguage":{"name":"SCSS","color":"#c6538c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-14T00:23:04.403Z"}},{"type":"Public","name":"ralib-benchmarking","owner":"LearnLib","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-07T08:05:53.666Z"}},{"type":"Public","name":"build-tools","owner":"LearnLib","isFork":false,"description":"Build tools (mostly annotation processors) for LearnLib-related projects","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-19T15:40:58.570Z"}},{"type":"Public archive","name":"learnlib-sba","owner":"LearnLib","isFork":false,"description":"Accompanying source code for the paper \"From Languages to Behaviors and Back\".","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-25T23:22:39.078Z"}},{"type":"Public archive","name":"alex-cli","owner":"LearnLib","isFork":false,"description":"A command line interface for running tests and learning experiments with ALEX","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":2,"issueCount":1,"starsCount":2,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-07T17:43:34.841Z"}},{"type":"Public archive","name":"learnlib-spa","owner":"LearnLib","isFork":false,"description":"Accompanying source code for the paper \"Compositional Learning of Mutually Recursive Procedural Systems\"","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-19T15:57:37.361Z"}},{"type":"Public","name":"learnlib-profiling","owner":"LearnLib","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-10-15T14:23:43.937Z"}},{"type":"Public","name":"learnlib-studio","owner":"LearnLib","isFork":false,"description":"The Next Generation LearnLib Studio","allTopics":[],"primaryLanguage":{"name":"Xtend","color":"#24255d"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-03-16T15:13:27.924Z"}},{"type":"Public","name":"raxml","owner":"LearnLib","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-04-29T15:03:50.143Z"}},{"type":"Public archive","name":"cav2015-demo","owner":"LearnLib","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-04-26T21:15:06.815Z"}},{"type":"Public archive","name":"cav2015-example","owner":"LearnLib","isFork":false,"description":"Example project to be used in the context of the CAV2015 Demo","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-04-26T21:08:26.831Z"}},{"type":"Public","name":"learnlib-jlearn","owner":"LearnLib","isFork":false,"description":"Makes the algorithms of the old, closed-source LearnLib available in the new framework.","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-04-26T21:06:45.391Z"}},{"type":"Public","name":"learnlib-libalf","owner":"LearnLib","isFork":false,"description":"LibAlf algorithms for LearnLib","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-04-26T21:05:24.325Z"}},{"type":"Public","name":"learnlib-rest-example","owner":"LearnLib","isFork":false,"description":"Example for learning a RESTful web service","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-03-30T13:57:52.497Z"}},{"type":"Public","name":"learnlib-libalf-native","owner":"LearnLib","isFork":false,"description":"Native bridge between LearnLib and libalf","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-03-25T13:02:31.635Z"}},{"type":"Public archive","name":"learnlib-ttt","owner":"LearnLib","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":1,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-06-17T07:44:32.611Z"}},{"type":"Public archive","name":"learnlib-ase2013-tutorial","owner":"LearnLib","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2013-11-11T05:12:40.604Z"}}],"repositoryCount":21,"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":"LearnLib repositories"}