Bob Atkey
Results
16
repositories owned by
Bob Atkey
authenticated-data-structures
16
Stars
2
Forks
Watchers
An implementation of generic authenticated data structures in OCaml
CS316-17
21
Stars
4
Forks
Watchers
The 2017-18 edition of Strathclyde's CS316 "Functional Programming" course
CS316-18
31
Stars
11
Forks
Watchers
The 2018-19 edition of Strathclyde's CS316 "Functional Programming" course
CS316-19
40
Stars
10
Forks
Watchers
The 2019/2020 edition of Strathclyde's CS316 Functional Programming course
CS316-2020
25
Stars
13
Forks
Watchers
The 2020-21 Edition of CS316 "Functional Programming" @ the University of Strathclyde
CS316-2022
21
Stars
8
Forks
Watchers
Materials for the 2022-2023 edition of CS316 "Functional Programming"
interactive-natural-deduction
20
Stars
1
Forks
Watchers
An editor for interactively building natural deduction proofs