Popular repositories Loading

1. spin-web spin-web Public

   Web-interface for the Spin model checker.

   JavaScript 7 3

2. PyOpaque PyOpaque Public

   Create opaque Python objects via encapsulation

   C++ 3

3. paragon paragon Public

   Paragon

   Haskell 3

4. parac2 parac2 Public

   Current version of the paragon compiler

   Haskell 2

5. openjml-web openjml-web Public

   Web-interface for the OpenJML checker

   JavaScript 1

6. devolve devolve Public

   Document Evolution Visualisation

   JavaScript 1