Repositories list

• novathesis-weblatex

  Public
  A fork of NOVAthesis to try WebLaTeX

  TeX

  •

  LaTeX Project Public License v1.3c

  •133•0•0•0•Updated Nov 19, 2023Nov 19, 2023

• lsd-original-tvale-public

  Public
  Python

  •0•0•0•0•Updated Jan 13, 2023Jan 13, 2023

• gluon

  Public
  Tool for static verification of Contracts for Concurrency in Java programs

  Java

  •

  GNU General Public License v3.0

  •3•6•0•0•Updated Jan 13, 2023Jan 13, 2023

• JPaxos

  Public
  Java library and runtime system for efficient state machine replication

  Java

  •

  Other

  •16•1•1•0•Updated Nov 14, 2013Nov 14, 2013

• TPCw-benchmark

  Public
  A NOSQL Tpcw benchmark - With a Cassandra interface

  Java

  •

  Apache License 2.0

  •7•0•0•0•Updated Jun 10, 2013Jun 10, 2013