Pinned Repositories
Paxos-in-Dafny
Paxos consensus algorithm implemented in the functional validation language Dafny
Python-Utilities
This is a workbench for general purpose python code that can be used to simplify and augment other projects.
Contact_Book
Webdesign assignment 3: JavaScript
lab1
Unix, programming tools and C
uis-dat310-project
Deagels's Repositories
Deagels/Python-Utilities
This is a workbench for general purpose python code that can be used to simplify and augment other projects.
Deagels/Paxos-in-Dafny
Paxos consensus algorithm implemented in the functional validation language Dafny
Deagels/uis-dat310-project
Deagels/Contact_Book
Webdesign assignment 3: JavaScript
Deagels/lab1
Unix, programming tools and C