Skip to content
@msp-strath

MSP group

Popular repositories Loading

  1. TypOS TypOS Public

    being an operating system for typechecking processes

    Haskell 117 2

  2. ZEUG ZEUG Public

    being the beginnings of at least zero typecheckers

    TeX 31

  3. platypus platypus Public

    Haskell 21 1

  4. Mary Mary Public

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

    Haskell 17 1

  5. ask ask Public

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

    Haskell 16 1

  6. feet feet Public

    Being a typechecker that helps you run

    Haskell 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 5 6 0 0 Updated Jul 9, 2024
  • LabMate Public
    msp-strath/LabMate’s past year of commit activity
    Haskell 3 0 0 0 Updated Jul 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
  • 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 5 1 0 0 Updated Mar 20, 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 Jan 31, 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
  • cs316-functional-programming Public

    CS316 "Functional Programming" lecture notes

    msp-strath/cs316-functional-programming’s past year of commit activity
    Haskell 6 4 0 0 Updated Nov 24, 2023
  • 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 117 2 0 2 Updated Apr 18, 2023
  • feet Public

    Being a typechecker that helps you run

    msp-strath/feet’s past year of commit activity
    Haskell 6 0 1 0 Updated Apr 22, 2021
View all repositories

Top languages

Loading…

Most used topics

Loading…