Popular repositories Loading

1. teaching-concurrency teaching-concurrency Public

   Specifications and safety proofs in different tools of a simple concurrent algorithm

   Coq 23 2

2. quadcopter quadcopter Public

   Coq 4 1

3. raft.tla raft.tla Public

   Forked from ongardie/raft.tla

   TLA+ specification for the Raft consensus algorithm

   TLA 4 2

4. barrier-sampled-data barrier-sampled-data Public

   Formalization of some results from control theory in Coq

   Coq 3 1

5. MorseTweet MorseTweet Public

   Displays incoming tweets using morse code through your webcam.

   ActionScript 2

6. PacManLife PacManLife Public

   Real life version of Pac Man for iPhone

   Objective-C 1