Skip to content
Change the repository type filter

All

    Repositories list

    • MSPweb

      Public
      being the shared sources and generated html for the MSP website
      HTML
      6600Updated Dec 25, 2024Dec 25, 2024
    • LabMate

      Public
      Haskell
      0300Updated Dec 19, 2024Dec 19, 2024
    • Code and Materials for an interactive online course on Logic (part of Strathclyde's CS208 Logic and Algorithms module)
      OCaml
      2800Updated Dec 12, 2024Dec 12, 2024
    • ask

      Public
      being a particular fragment of Haskell, extended to a proof system
      Haskell
      12200Updated Dec 4, 2024Dec 4, 2024
    • CS316 "Functional Programming" lecture notes
      Haskell
      Other
      61400Updated Nov 29, 2024Nov 29, 2024
    • Sign for the door outside of our lab.
      TeX
      0000Updated Nov 5, 2024Nov 5, 2024
    • A LaTeX template for posters.
      TeX
      BSD 3-Clause "New" or "Revised" License
      0000Updated Apr 10, 2024Apr 10, 2024
    • Mary

      Public
      Mary is the successor of Marx, a content delivery and assessment engine based on markdown and git
      Haskell
      117123Updated Jan 23, 2024Jan 23, 2024
    • bricks

      Public
      Agda
      0600Updated Aug 16, 2023Aug 16, 2023
    • TypOS

      Public
      being an operating system for typechecking processes
      Haskell
      112302Updated Apr 18, 2023Apr 18, 2023
    • feet

      Public
      Being a typechecker that helps you run
      Haskell
      0710Updated Apr 22, 2021Apr 22, 2021
    • spls-16

      Public
      Scottish Programming Languages Seminar, November 9 2016, University of Strathclyde
      HTML
      0100Updated Jun 2, 2020Jun 2, 2020
    • spls-18

      Public
      Scottish Programming Languages Seminar, October 2018, University of Strathclyde
      HTML
      0200Updated Jun 2, 2020Jun 2, 2020
    • platypus

      Public
      Haskell
      12110Updated Mar 15, 2018Mar 15, 2018
    • ZEUG

      Public
      being the beginnings of at least zero typecheckers
      TeX
      03110Updated Apr 13, 2017Apr 13, 2017
    • Strathclyde University LaTeX beamer template
      TeX
      MIT License
      13000Updated Oct 31, 2016Oct 31, 2016