{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"avt-labs","owner":"ftsrg-edu","isFork":false,"description":"Lab materials for the Advanced Verification Techniques (VIMIMA29) course","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":1,"starsCount":1,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-13T10:34:32.969Z"}},{"type":"Public","name":"ase-labs","owner":"ftsrg-edu","isFork":false,"description":"Practice material for the Automated Software Engineering course","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-11T14:45:35.672Z"}},{"type":"Public","name":"ivt-lab","owner":"ftsrg-edu","isFork":false,"description":"Lab exercises for the Integration and Verification Techniques course","allTopics":["education"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":42,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-02T09:42:05.187Z"}},{"type":"Public","name":"swsv-labs","owner":"ftsrg-edu","isFork":false,"description":"Lab materials for the Software and Systems Verification (VIMIMA01) course","allTopics":["education","lecture-notes"],"primaryLanguage":{"name":"C#","color":"#178600"},"pullRequestCount":0,"issueCount":1,"starsCount":29,"forksCount":9,"license":"MIT License","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-10-25T20:38:01.814Z"}},{"type":"Public","name":"mdsd-examples","owner":"ftsrg-edu","isFork":false,"description":"Projects for a course about Model-Based Systems Design","allTopics":["education"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":"GNU General Public License v3.0","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-08-26T13:30:06.475Z"}},{"type":"Public","name":"lecture-notes","owner":"ftsrg-edu","isFork":false,"description":"Some lecture notes of the research group","allTopics":["education","lecture-notes"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":14,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-08-26T13:22:21.225Z"}},{"type":"Public archive","name":"thesis-template-word","owner":"ftsrg-edu","isFork":false,"description":"Thesis template in Microsoft Word","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":5,"starsCount":13,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-08-26T13:04:53.676Z"}},{"type":"Public","name":"toolbox","owner":"ftsrg-edu","isFork":false,"description":"Unix, Git és IDE alapok és feladatok","allTopics":["education"],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":5,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-02-20T16:55:59.317Z"}},{"type":"Public","name":"ndp","owner":"ftsrg-edu","isFork":false,"description":"Nagyhatékonyságú deklaratív programozás (VISZMB01) jegyzet","allTopics":["education"],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-03-06T21:38:18.148Z"}},{"type":"Public archive","name":"logic-workshop","owner":"ftsrg-edu","isFork":false,"description":"Logic and DSL demo for students","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-07-21T12:21:45.904Z"}},{"type":"Public archive","name":"systems-engineering-notes","owner":"ftsrg-edu","isFork":false,"description":"Notes for student work on mbeddr and autofocus","allTopics":["education"],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-05-31T10:09:39.514Z"}},{"type":"Public archive","name":"thesis-template-markdown","owner":"ftsrg-edu","isFork":false,"description":"Thesis template in Markdown","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":1,"starsCount":15,"forksCount":15,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-12-10T21:11:59.904Z"}}],"repositoryCount":12,"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":"ftsrg-edu repositories"}