msp-strath/cs208-logic

Stars
5
Rank 2,864,054 (Top 57 %)
Language
OCaml
Created about 1 year ago
Updated 2 months ago

msp-strath/cs208-logic

msp-strath

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

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

TypOS

being an operating system for typechecking processes

ZEUG

being the beginnings of at least zero typecheckers

platypus

Mary

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

ask

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

MSPweb

being the shared sources and generated html for the MSP website

cs316-functional-programming

CS316 "Functional Programming" lecture notes

feet

Being a typechecker that helps you run

bricks

LabMate

spls-18

Scottish Programming Languages Seminar, October 2018, University of Strathclyde

spls-16

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