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
  • novathesis-weblatex Public Forked from joaomlourenco/novathesis

    A fork of NOVAthesis to try WebLaTeX

    trxsys/novathesis-weblatex’s past year of commit activity
    TeX 0 LPPL-1.3c 133 0 0 Updated Nov 19, 2023
  • lsd-original-tvale-public Public
    trxsys/lsd-original-tvale-public’s past year of commit activity
    Python 0 0 0 0 Updated Jan 13, 2023
  • gluon Public

    Tool for static verification of Contracts for Concurrency in Java programs

    trxsys/gluon’s past year of commit activity
    Java 6 GPL-3.0 3 0 0 Updated Jan 13, 2023
  • JPaxos Public Forked from JPaxos/JPaxos

    Java library and runtime system for efficient state machine replication

    trxsys/JPaxos’s past year of commit activity
    Java 1 16 1 0 Updated Nov 14, 2013
  • TPCw-benchmark Public Forked from PedroGomes/TPCw-benchmark

    A NOSQL Tpcw benchmark - With a Cassandra interface

    trxsys/TPCw-benchmark’s past year of commit activity
    Java 0 Apache-2.0 7 0 0 Updated Jun 10, 2013

Top languages

Loading…

Most used topics

Loading…