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. cs410-advanced-functional-programming cs410-advanced-functional-programming Public

    CS410 "Advanced Functional Programming"

    Agda 22 1

  5. platypus platypus Public

    Haskell 21 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

    HTML 6 6 0 0 Updated Apr 1, 2025
  • LabMate Public
    Haskell 3 0 0 0 Updated Mar 25, 2025
  • cs410-advanced-functional-programming Public

    CS410 "Advanced Functional Programming"

    Agda 22 1 0 1 Updated Mar 25, 2025
  • cs208-logic Public

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

    OCaml 8 2 0 0 Updated Mar 15, 2025
  • ask Public

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

    Haskell 30 2 1 1 Updated Feb 27, 2025
  • educational-research Public

    Building MSP-flavoured educational research projects

    0 0 0 0 Updated Feb 14, 2025
  • cs316-functional-programming Public

    CS316 "Functional Programming" lecture notes

    Haskell 14 6 0 0 Updated Nov 29, 2024
  • msp-lab-sign Public

    Sign for the door outside of our lab.

    TeX 0 0 0 0 Updated Nov 5, 2024
  • strathposter Public

    A LaTeX template for posters.

    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

    Haskell 17 1 12 (2 issues need help) 3 Updated Jan 23, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…