Popular repositories Loading

1. AErlang AErlang Public

   AttributeErlang

   Erlang 1

2. sofsem-code sofsem-code Public

   Resources (running programs and UMC modelling) for SOFSEM

3. AbC2UMC AbC2UMC Public

   a translation from AbC to UMC

   Erlang

4. PActor PActor Public

   document of progress

   Erlang

5. verdi-raft verdi-raft Public

   Forked from uwplse/verdi-raft

   An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

   Coq

6. Programming-with-Spaces Programming-with-Spaces Public

   Forked from pSpaces/Programming-with-Spaces

   Getting started, manuals and tutorials