Popular repositories Loading

1. veracity veracity Public

   Veracity compiler for programming with commutativity

   OCaml 6 4

2. servois2 servois2 Public

   OCaml reworking of Servois

   OCaml 4 1

3. servois servois Public

   Forked from kbansal/servois

   Servois is an experimental tool for automatically generating commutativity conditions from data-structure specifications.

   Python

4. veracity-dev veracity-dev Public

   Forked from veracity-lang/veracity

   Veracity compiler for programming with commutativity

   OCaml 1

5. veracity2g veracity2g Public

   Forked from veracity-lang/veracity-dev

   Veracity compiler for programming with commutativity

   OCaml