{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"119","owner":"DavisPL-Teaching","isFork":false,"description":"Data processing pipelines (UC Davis, Fall Quarter 2024)","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-21T21:16:27.836Z"}},{"type":"Public","name":".github","owner":"DavisPL-Teaching","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-01T02:25:58.759Z"}},{"type":"Public","name":"189c","owner":"DavisPL-Teaching","isFork":false,"description":"Software Correctness","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-17T04:30:28.837Z"}},{"type":"Public template","name":"189c-hw1","owner":"DavisPL-Teaching","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-12T05:32:34.435Z"}},{"type":"Public template","name":"189c-hw4","owner":"DavisPL-Teaching","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Dafny","color":"#FFEC25"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-07T19:21:10.431Z"}},{"type":"Public template","name":"189c-hw3","owner":"DavisPL-Teaching","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-27T19:03:54.571Z"}},{"type":"Public template","name":"189c-hw5","owner":"DavisPL-Teaching","isFork":false,"description":"HW5 on Rust -- this homework is optional.","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-25T16:11:18.769Z"}},{"type":"Public","name":"289c","owner":"DavisPL-Teaching","isFork":false,"description":"Seminar in Programming Languages","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-15T00:45:12.840Z"}},{"type":"Public template","name":"189c-hw2","owner":"DavisPL-Teaching","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-08T19:14:50.196Z"}},{"type":"Public","name":"189c-hw0","owner":"DavisPL-Teaching","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-03T00:38:45.561Z"}}],"repositoryCount":10,"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":"DavisPL-Teaching repositories"}