MSP group (@msp-strath)
Guthub

msp-strath

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    211
  • Global Org. Rank 39,259 (Top 13 %)
  • Registered almost 10 years ago
  • Most used languages
    Haskell
         53.8 %
    HTML
         23.1 %
    Agda     7.7 %
    TeX
         7.7 %
    OCaml
         7.7 %
  • Location 🇬🇧 United Kingdom
  • Country Total Rank 5,369
  • Country Ranking
    Agda     28
    Haskell
         42
    TeX
         119
    OCaml
         132
    HTML
         1,718

Top repositories

1

TypOS

being an operating system for typechecking processes
Haskell
113
star
2

ZEUG

being the beginnings of at least zero typecheckers
TeX
31
star
3

platypus

Haskell
20
star
4

Mary

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

ask

being a particular fragment of Haskell, extended to a proof system
Haskell
8
star
6

MSPweb

being the shared sources and generated html for the MSP website
HTML
6
star
7

cs316-functional-programming

CS316 "Functional Programming" lecture notes
Haskell
6
star
8

feet

Being a typechecker that helps you run
Haskell
6
star
9

bricks

Agda
6
star
10

cs208-logic

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

LabMate

Haskell
3
star
12

spls-18

Scottish Programming Languages Seminar, October 2018, University of Strathclyde
HTML
2
star
13

spls-16

Scottish Programming Languages Seminar, November 9 2016, University of Strathclyde
HTML
1
star