Skip to content
@trxsys

Transactional Systems Research Group

Popular repositories Loading

  1. gluon gluon Public

    Tool for static verification of Contracts for Concurrency in Java programs

    Java 6 3

  2. JPaxos JPaxos Public

    Forked from JPaxos/JPaxos

    Java library and runtime system for efficient state machine replication

    Java 1

  3. TPCw-benchmark TPCw-benchmark Public

    Forked from PedroGomes/TPCw-benchmark

    A NOSQL Tpcw benchmark - With a Cassandra interface

    Java 1

  4. lsd-original-tvale-public lsd-original-tvale-public Public

    Python

  5. novathesis-weblatex novathesis-weblatex Public

    Forked from joaomlourenco/novathesis

    A fork of NOVAthesis to try WebLaTeX

    TeX

Repositories

Showing 5 of 5 repositories

Top languages

Loading…

Most used topics

Loading…