Skip to content
@msp-strath

MSP group

Popular repositories Loading

  1. TypOS TypOS Public

    being an operating system for typechecking processes

    Haskell 123 1

  2. ZEUG ZEUG Public

    being the beginnings of at least zero typecheckers

    TeX 31

  3. ask ask Public

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

    Haskell 22 1

  4. platypus platypus Public

    Haskell 21 1

  5. Mary Mary Public

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

    Haskell 17 1

  6. cs316-functional-programming cs316-functional-programming Public

    CS316 "Functional Programming" lecture notes

    Haskell 14 6

Repositories

Showing 10 of 16 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 Dec 1, 2024
  • 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
  • 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 Nov 25, 2024
  • ask Public

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

    msp-strath/ask’s past year of commit activity
    Haskell 22 1 0 0 Updated Nov 25, 2024
  • LabMate Public
    msp-strath/LabMate’s past year of commit activity
    Haskell 3 0 0 0 Updated Nov 14, 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
  • bricks Public
    msp-strath/bricks’s past year of commit activity
    Agda 6 0 0 0 Updated Aug 16, 2023
  • TypOS Public

    being an operating system for typechecking processes

    msp-strath/TypOS’s past year of commit activity
    Haskell 123 1 0 2 Updated Apr 18, 2023
View all repositories

Top languages

Loading…

Most used topics

Loading…