Popular repositories Loading

1. par par Public

   A collection of parallel OpenMP functions.

   C++

2. benchexec benchexec Public

   Forked from sosy-lab/benchexec

   BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

   Python

3. nitwit-validator nitwit-validator Public

   Forked from moves-rwth/nitwit-validator

   A simple interpreter-based violation witness validator for C code.

   C++

4. sv-comp sv-comp Public

   Forked from sosy-lab/sv-comp

   Information to reproduce results from SV-COMP

5. latex-thesis-template latex-thesis-template Public

   A full-featured LaTeX template with subfiles for writing technical theses or other professional texts.

   TeX 2

6. jenkins-pipeline-cache-plugin jenkins-pipeline-cache-plugin Public

   Forked from j3t/jenkins-pipeline-cache-plugin

   A cloud native file cache for Jenkins build pipelines which uses an S3-Bucket as storage provider.