{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"ask","owner":"msp-strath","isFork":false,"description":"being a particular fragment of Haskell, extended to a proof system","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":1,"issueCount":0,"starsCount":18,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-19T10:07:34.176Z"}},{"type":"Public","name":"MSPweb","owner":"msp-strath","isFork":false,"description":"being the shared sources and generated html for the MSP website","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":6,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-18T15:10:35.037Z"}},{"type":"Public","name":"LabMate","owner":"msp-strath","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-12T09:13:12.222Z"}},{"type":"Public","name":"cs208-logic","owner":"msp-strath","isFork":false,"description":"Code and Materials for an interactive online course on Logic (part of Strathclyde's CS208 Logic and Algorithms module)","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-06T14:28:35.971Z"}},{"type":"Public","name":"strathposter","owner":"msp-strath","isFork":false,"description":"A LaTeX template for posters.","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-10T16:03:07.088Z"}},{"type":"Public","name":"msp-lab-sign","owner":"msp-strath","isFork":false,"description":"Sign for the door outside of our lab.","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-31T10:03:51.054Z"}},{"type":"Public","name":"Mary","owner":"msp-strath","isFork":false,"description":"Mary is the successor of Marx, a content delivery and assessment engine based on markdown and git","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":3,"issueCount":12,"starsCount":17,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-23T16:42:58.108Z"}},{"type":"Public","name":"cs316-functional-programming","owner":"msp-strath","isFork":false,"description":"CS316 \"Functional Programming\" lecture notes","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":11,"forksCount":4,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-24T14:31:00.711Z"}},{"type":"Public","name":"bricks","owner":"msp-strath","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Agda","color":"#315665"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-16T16:01:49.247Z"}},{"type":"Public","name":"TypOS","owner":"msp-strath","isFork":false,"description":"being an operating system for typechecking processes","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":2,"issueCount":0,"starsCount":120,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-18T16:17:02.284Z"}},{"type":"Public","name":"feet","owner":"msp-strath","isFork":false,"description":"Being a typechecker that helps you run","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":1,"starsCount":7,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-04-22T00:20:26.240Z"}},{"type":"Public","name":"spls-16","owner":"msp-strath","isFork":false,"description":"Scottish Programming Languages Seminar, November 9 2016, University of Strathclyde","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-06-02T16:14:49.015Z"}},{"type":"Public","name":"spls-18","owner":"msp-strath","isFork":false,"description":"Scottish Programming Languages Seminar, October 2018, University of Strathclyde","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-06-02T15:56:01.166Z"}},{"type":"Public","name":"platypus","owner":"msp-strath","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":1,"starsCount":21,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-03-15T12:01:49.252Z"}},{"type":"Public","name":"ZEUG","owner":"msp-strath","isFork":false,"description":"being the beginnings of at least zero typecheckers","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":1,"starsCount":31,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-04-13T16:17:33.277Z"}},{"type":"Public","name":"strathbeamer","owner":"msp-strath","isFork":true,"description":"Strathclyde University LaTeX beamer template","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":13,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-10-31T15:16:10.058Z"}}],"repositoryCount":16,"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":"msp-strath repositories"}