Discover @davekyle Open Source projects

@davekyle

davekyle

Stars
7
Global Rank 1,188,225 (Top 42 %)
Followers 5
Following 2
Registered over 13 years ago
Most used languages

Java
66.7 %

Prolog
33.3 %

Presage-ColouredTrails

Old version of presage. Archiving it basically.

Presage2-Experiments

IPCon---Institutionalised-Paxos-Consensus

Executable specification of IPCon in Prolog