Popular repositories Loading

1. Paxos-in-Dafny Paxos-in-Dafny Public

   Paxos consensus algorithm implemented in the functional validation language Dafny

   C# 8 2

2. Python-Utilities Python-Utilities Public

   This is a workbench for general purpose python code that can be used to simplify and augment other projects.

   Python 1

3. lab1 lab1 Public

   Forked from dat320-2014/lab1

   Unix, programming tools and C

   C

4. Contact_Book Contact_Book Public

   Webdesign assignment 3: JavaScript

   JavaScript

5. uis-dat310-project uis-dat310-project Public

   Forked from stianegseth/uis-dat310-project

   PHP