Pinned Loading

1. ExploringCoyote ExploringCoyote Public

   This site contains articles explaining various aspects of Coyote

   3 3

2. Chaitin's Unknowable code Chaitin's Unknowable code

   1

   2

   ;;

   3

   ;; Liberal transcription of (some of) the lisp code found in Chaitin's "The Unknowable"

   4

   ;;

   5

   ;;                                                             Immad Naseer -- Dec 26th

3. paxos-from-the-ground-up paxos-from-the-ground-up Public

   This repo introduces the Paxos consensus protocol, starting from a simple but incorrect protocol and making gradual refinements to morph the initial attempt into the complete Paxos protocol.

   JavaScript 2 1

4. microsoft/accordant microsoft/accordant Public

   A model-based testing framework for .NET that validates implementations against behavioral specifications.

   C# 3