Repositories list

• MSPweb

  Public
  being the shared sources and generated html for the MSP website

  HTML

  •88 forks•88 stars•00 issues•11 pull request•Updated Sep 1, 2026Sep 1, 2026

• LabMate

  Public
  Haskell

  •00 forks•33 stars•00 issues•00 pull requests•Updated Jul 28, 2026Jul 28, 2026

• cs411-theory-of-computation

  Public
  being the exercise sheets and solutions for CS411 Theory of Computation at the University of Strathclyde, 2025/26 session

  TeX

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 7, 2026Jun 7, 2026

• msp-lab-sign

  Public
  Sign for the door outside of our lab.

  TeX

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 7, 2026Apr 7, 2026

• cs260-functional-thinking

  Public
  Haskell

  •00 forks•11 star•00 issues•00 pull requests•Updated Mar 27, 2026Mar 27, 2026

• cs410-advanced-functional-programming

  Public
  CS410 "Advanced Functional Programming"

  Agda

  •00 forks•3434 stars•00 issues•00 pull requests•Updated Mar 25, 2026Mar 25, 2026

• ask

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

  Haskell

  •44 forks•4545 stars•22 issues•00 pull requests•Updated Mar 2, 2026Mar 2, 2026

• cs316-functional-programming

  Public
  CS316 "Functional Programming" lecture notes

  Haskell

  •

  Other

  •1010 forks•2424 stars•00 issues•00 pull requests•Updated Jan 29, 2026Jan 29, 2026

• cs208-logic

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

  TeX

  •44 forks•1414 stars•00 issues•00 pull requests•Updated Nov 27, 2025Nov 27, 2025

• three-times

  Public
  A resource for concept transfer of programming basics from Python to Dafny and then Idris.

  CSS

  •

  BSD 3-Clause Clear License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Nov 19, 2025Nov 19, 2025

• ask-bis

  Public
  a page 1 rewrite of the ask proof assistant

  Haskell

  •00 forks•66 stars•00 issues•00 pull requests•Updated Nov 19, 2025Nov 19, 2025

• TypOS

  Public
  being an operating system for typechecking processes

  Haskell

  •22 forks•133133 stars•00 issues•33 pull requests•Updated Oct 7, 2025Oct 7, 2025

• educational-research

  Public
  Building MSP-flavoured educational research projects

  00 forks•00 stars•00 issues•00 pull requests•Updated Feb 14, 2025Feb 14, 2025

• strathposter

  Public
  A LaTeX template for posters.

  TeX

  •

  BSD 3-Clause "New" or "Revised" License

  •11 fork•00 stars•00 issues•00 pull requests•Updated 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

  •11 fork•1717 stars•1212 issues•33 pull requests•Updated Jan 23, 2024Jan 23, 2024

• bricks

  Public
  Agda

  •00 forks•77 stars•00 issues•00 pull requests•Updated Aug 16, 2023Aug 16, 2023

• feet

  Public
  Being a typechecker that helps you run

  Haskell

  •00 forks•77 stars•11 issue•00 pull requests•Updated Apr 22, 2021Apr 22, 2021

• spls-16

  Public
  Scottish Programming Languages Seminar, November 9 2016, University of Strathclyde

  HTML

  •00 forks•11 star•00 issues•00 pull requests•Updated Jun 2, 2020Jun 2, 2020

• spls-18

  Public
  Scottish Programming Languages Seminar, October 2018, University of Strathclyde

  HTML

  •00 forks•22 stars•00 issues•00 pull requests•Updated Jun 2, 2020Jun 2, 2020

• platypus

  Public
  Haskell

  •11 fork•2121 stars•11 issue•00 pull requests•Updated Mar 15, 2018Mar 15, 2018

• ZEUG

  Public
  being the beginnings of at least zero typecheckers

  TeX

  •00 forks•3434 stars•11 issue•00 pull requests•Updated Apr 13, 2017Apr 13, 2017

• strathbeamer

  Public
  Strathclyde University LaTeX beamer template

  TeX

  •

  MIT License

  •1212 forks•00 stars•00 issues•00 pull requests•Updated Oct 31, 2016Oct 31, 2016