Skip to content
@msp-strath

MSP group

Popular repositories Loading

  1. TypOS TypOS Public

    being an operating system for typechecking processes

    Haskell 125 1

  2. ZEUG ZEUG Public

    being the beginnings of at least zero typecheckers

    TeX 33

  3. ask ask Public

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

    Haskell 30 2

  4. platypus platypus Public

    Haskell 21 1

  5. cs410-advanced-functional-programming cs410-advanced-functional-programming Public

    CS410 "Advanced Functional Programming"

    Agda 20 1

  6. Mary Mary Public

    Mary is the successor of Marx, a content delivery and assessment engine based on markdown and git

    Haskell 17 1

Repositories

Showing 10 of 18 repositories
  • MSPweb Public

    being the shared sources and generated html for the MSP website

    msp-strath/MSPweb’s past year of commit activity
    HTML 6 6 0 0 Updated Mar 19, 2025
  • cs410-advanced-functional-programming Public

    CS410 "Advanced Functional Programming"

    msp-strath/cs410-advanced-functional-programming’s past year of commit activity
    Agda 20 1 0 1 Updated Mar 18, 2025
  • LabMate Public
    msp-strath/LabMate’s past year of commit activity
    Haskell 3 0 0 0 Updated Mar 18, 2025
  • 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
    OCaml 8 2 0 0 Updated Mar 15, 2025
  • ask Public

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

    msp-strath/ask’s past year of commit activity
    Haskell 30 2 1 1 Updated Feb 27, 2025
  • educational-research Public

    Building MSP-flavoured educational research projects

    msp-strath/educational-research’s past year of commit activity
    0 0 0 0 Updated Feb 14, 2025
  • cs316-functional-programming Public

    CS316 "Functional Programming" lecture notes

    msp-strath/cs316-functional-programming’s past year of commit activity
    Haskell 14 6 0 0 Updated Nov 29, 2024
  • 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 Nov 5, 2024
  • strathposter Public

    A LaTeX template for posters.

    msp-strath/strathposter’s past year of commit activity
    TeX 0 BSD-3-Clause 0 0 0 Updated Apr 10, 2024
  • Mary Public

    Mary is the successor of Marx, a content delivery and assessment engine based on markdown and git

    msp-strath/Mary’s past year of commit activity
    Haskell 17 1 12 (2 issues need help) 3 Updated Jan 23, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…