{"payload":{"pageCount":1,"repositories":[{"type":"Public template","name":"pl1-2024-hw-template","owner":"ps-tuebingen-courses","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-15T12:32:01.328Z"}},{"type":"Public","name":"pl1-2024","owner":"ps-tuebingen-courses","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-24T07:38:28.504Z"}},{"type":"Public","name":"pl1-lecture-notes","owner":"ps-tuebingen-courses","isFork":false,"description":"Programming Languages I Lecture Notes","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":2,"starsCount":7,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-18T21:29:23.608Z"}},{"type":"Public","name":"pl1-2023","owner":"ps-tuebingen-courses","isFork":false,"description":"Material for course Programmiersprachen 1 (SS 2023)","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-17T22:38:09.912Z"}},{"type":"Public template","name":"itp-homework-11","owner":"ps-tuebingen-courses","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-06T13:16:11.843Z"}},{"type":"Public template","name":"itp-homework-10","owner":"ps-tuebingen-courses","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-28T11:00:47.558Z"}},{"type":"Public","name":"pl1-2022","owner":"ps-tuebingen-courses","isFork":false,"description":"Material for course Programmiersprachen 1 (SS 2022)","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":5,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-08-11T12:23:44.375Z"}},{"type":"Public","name":"pl1-2021","owner":"ps-tuebingen-courses","isFork":false,"description":"Material for course Programmiersprachen 1 (SS 2021)","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":13,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-07-21T18:59:58.208Z"}},{"type":"Public","name":"pl1-2020","owner":"ps-tuebingen-courses","isFork":false,"description":"Material for course Programmiersprachen 1 (SS 2020)","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":10,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-07-21T08:47:55.838Z"}},{"type":"Public","name":"pl1-2019","owner":"ps-tuebingen-courses","isFork":false,"description":"Material for course Programmiersprachen 1 (SS 2019)","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":1,"starsCount":1,"forksCount":11,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-07-19T10:46:40.824Z"}},{"type":"Public","name":"itp-2018-assignment-9","owner":"ps-tuebingen-courses","isFork":false,"description":"ITP 2018 Assignment 9","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-12-20T15:34:16.239Z"}},{"type":"Public","name":"pl1-2018","owner":"ps-tuebingen-courses","isFork":false,"description":"Material for course Programmiersprachen 1 (SS 2018)","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":3,"starsCount":2,"forksCount":6,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-07-16T10:03:59.079Z"}}],"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":"Repositories"}