Beast code in Giters

MSP group's repositories

being an operating system for typechecking processes

Language:Haskell117 17 5

being the beginnings of at least zero typecheckers

Language:TeX31 15 3

Language:Haskell21 16 2

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

Language:Haskell17 10 34

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

Language:Haskell16 13 5

Language:Agda6 170

CS316 "Functional Programming" lecture notes

Language:HaskellNOASSERTION6 20

Being a typechecker that helps you run

Language:Haskell6 14 1

being the shared sources and generated html for the MSP website

Language:HTML6 120

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

Language:OCaml5 30

Language:Haskell3 170

Scottish Programming Languages Seminar, October 2018, University of Strathclyde

Language:HTML2 120

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

Language:HTML1 80

Strathclyde University LaTeX beamer template

Language:TeXMIT020

Sign for the door outside of our lab.

Language:TeX060

A LaTeX template for posters.

Language:TeXBSD-3-Clause0200