Discover @Deagels Open Source projects

@Deagels

Deagels

Stars
9
Global Rank 1,033,155 (Top 36 %)
Followers 1
Registered almost 11 years ago
Most used languages

C#
50.0 %

Python
50.0 %
Location 🇳🇴 Norway
Country Total Rank 3,836
Country Ranking

C#
286

Python
2,352

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.