Skip to content
@msp-strath

MSP group

Popular repositories Loading

  1. TypOS TypOS Public

    being an operating system for typechecking processes

    Haskell 133 2

  2. ask ask Public

    being a particular fragment of Haskell, extended to a proof system

    Haskell 45 4

  3. ZEUG ZEUG Public

    being the beginnings of at least zero typecheckers

    TeX 34

  4. cs410-advanced-functional-programming cs410-advanced-functional-programming Public

    CS410 "Advanced Functional Programming"

    Agda 34

  5. cs316-functional-programming cs316-functional-programming Public

    CS316 "Functional Programming" lecture notes

    Haskell 24 10

  6. platypus platypus Public

    Haskell 21 1

Repositories

Showing 10 of 22 repositories
  • MSPweb Public

    being the shared sources and generated html for the MSP website

    msp-strath/MSPweb's past year of commit activity
    HTML 8 9 0 2 Updated Sep 20, 2026
  • ask Public

    being a particular fragment of Haskell, extended to a proof system

    msp-strath/ask's past year of commit activity
    Haskell 45 4 2 0 Updated Sep 15, 2026
  • LabMate Public
    msp-strath/LabMate's past year of commit activity
    Haskell 3 0 0 0 Updated Jul 28, 2026
  • cs411-theory-of-computation Public

    being the exercise sheets and solutions for CS411 Theory of Computation at the University of Strathclyde, 2025/26 session

    msp-strath/cs411-theory-of-computation's past year of commit activity
    TeX 0 0 0 0 Updated Jun 7, 2026
  • msp-lab-sign Public

    Sign for the door outside of our lab.

    msp-strath/msp-lab-sign's past year of commit activity
    TeX 0 0 0 0 Updated Apr 7, 2026
  • cs260-functional-thinking Public
    msp-strath/cs260-functional-thinking's past year of commit activity
    Haskell 1 0 0 0 Updated Mar 27, 2026
  • cs410-advanced-functional-programming Public

    CS410 "Advanced Functional Programming"

    msp-strath/cs410-advanced-functional-programming's past year of commit activity
    Agda 34 0 0 0 Updated Mar 25, 2026
  • cs316-functional-programming Public

    CS316 "Functional Programming" lecture notes

    msp-strath/cs316-functional-programming's past year of commit activity
    Haskell 24 10 0 0 Updated Jan 29, 2026
  • cs208-logic Public

    Code and Materials for an interactive online course on Logic (part of Strathclyde's CS208 Logic and Algorithms module)

    msp-strath/cs208-logic's past year of commit activity
    TeX 14 4 0 0 Updated Nov 27, 2025
  • three-times Public

    A resource for concept transfer of programming basics from Python to Dafny and then Idris.

    msp-strath/three-times's past year of commit activity
    CSS 0 BSD-3-Clause-Clear 0 0 0 Updated Nov 19, 2025
View all repositories

Top languages

Loading…

Most used topics

Loading…