msp-strath/cs208-logic msp-strath/cs208-logic

  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    OCaml
  • Created about 1 year ago
  • Updated 3 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
msp-strath/cs208-logic
github

msp-strath

Reviews

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

Repository Details

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

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

LabMate

Haskell
3
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