msp-strath/LabMate msp-strath/LabMate

  • Stars
    star
    3
  • Rank 3,967,020 (Top 79 %)
  • Language
    Haskell
  • Created almost 2 years ago
  • Updated 12 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
msp-strath/LabMate
github

msp-strath

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More 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

spls-18

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

spls-16

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