{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"mk2","owner":"kszi2","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Ruby","color":"#701516"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-14T17:20:24.363Z"}},{"type":"Public","name":"kamilla","owner":"kszi2","isFork":false,"description":"Another discord bot with the py-cord library.","allTopics":[],"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":"2024-09-12T11:10:06.189Z"}},{"type":"Public archive","name":"mse","owner":"kszi2","isFork":false,"description":"A discord bot with the Javacord library.","allTopics":["kotlin","discord","coroutines","discord-bot","javacord"],"primaryLanguage":{"name":"Kotlin","color":"#A97BFF"},"pullRequestCount":0,"issueCount":4,"starsCount":0,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-19T21:59:29.336Z"}},{"type":"Public","name":"theta-dani-onlab","owner":"kszi2","isFork":true,"description":"Generic, modular and configurable formal verification framework supporting various formalisms and algorithms","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":40,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-27T22:25:48.776Z"}},{"type":"Public","name":"libmoscht","owner":"kszi2","isFork":false,"description":"MosógépSCH Kotlin library","allTopics":["kotlin"],"primaryLanguage":{"name":"Kotlin","color":"#A97BFF"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-18T21:00:17.464Z"}},{"type":"Public archive","name":"boti","owner":"kszi2","isFork":false,"description":"Discord bot","allTopics":[],"primaryLanguage":{"name":"Kotlin","color":"#A97BFF"},"pullRequestCount":0,"issueCount":6,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-13T10:08:39.007Z"}}],"repositoryCount":6,"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":"kszi2 repositories"}