Skip to content
@segroup-uni-trier

Software-Engineering Group at the University of Trier

Popular repositories Loading

  1. codesparks-pmd-demo codesparks-pmd-demo Public

    This is a demo implementation of a CodeSparks plugin for the IntelliJ IDEA.

    Java 2

  2. codesparks-framework codesparks-framework Public

    The CodeSparks framework aims to facilitate the integration of software analysis tools into the IDE such that their results are shown as glyph-based visualizations in the source code.

    Java 2

  3. SDRaytracer SDRaytracer Public

    Implementation of a very simple raytracer, used for teaching purposes in lectures of the software engineering group.

    Java 1 19

  4. chapters chapters Public

    Forked from ds4se/chapters

    Perspectives on Data Science for Software Engineering

    Makefile

  5. concurrency_bug_subjects concurrency_bug_subjects Public

    Forked from tomowind/concurrency_bug_subjects

    Multi-threaded Java/C/C++ subject programs

    Java

  6. concBugsFinder concBugsFinder Public

    Forked from vongosling/concBugsFinder

    Concurrency Bugs Finder, continue to develop from findthread project

    Java

Repositories

Showing 10 of 22 repositories
  • codesparks-framework Public

    The CodeSparks framework aims to facilitate the integration of software analysis tools into the IDE such that their results are shown as glyph-based visualizations in the source code.

    segroup-uni-trier/codesparks-framework’s past year of commit activity
    Java 2 Apache-2.0 0 0 0 Updated Dec 14, 2024
  • codesparks-pmd-demo Public

    This is a demo implementation of a CodeSparks plugin for the IntelliJ IDEA.

    segroup-uni-trier/codesparks-pmd-demo’s past year of commit activity
    Java 2 Apache-2.0 0 2 0 Updated Dec 14, 2024
  • marytts Public Forked from marytts/marytts

    MARY TTS -- an open-source, multilingual text-to-speech synthesis system written in pure java

    segroup-uni-trier/marytts’s past year of commit activity
    Java 0 749 0 0 Updated Nov 25, 2021
  • tandem Public Forked from belene/tandem
    segroup-uni-trier/tandem’s past year of commit activity
    0 1 0 0 Updated May 19, 2020
  • async-profiler Public Forked from async-profiler/async-profiler

    Sampling CPU and HEAP profiler for Java featuring AsyncGetCallTrace + perf_events

    segroup-uni-trier/async-profiler’s past year of commit activity
    C++ 0 Apache-2.0 865 0 0 Updated Feb 28, 2020
  • jpf-core Public Forked from javapathfinder/jpf-core

    JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.

    segroup-uni-trier/jpf-core’s past year of commit activity
    Java 0 348 0 0 Updated Feb 23, 2020
  • renaissance Public Forked from renaissance-benchmarks/renaissance

    The Renaissance Benchmark Suite

    segroup-uni-trier/renaissance’s past year of commit activity
    Scala 0 GPL-3.0 60 0 0 Updated Feb 18, 2020
  • honest-profiler Public Forked from jvm-profiling-tools/honest-profiler

    A sampling JVM profiler without the safepoint sample bias

    segroup-uni-trier/honest-profiler’s past year of commit activity
    Java 0 MIT 147 0 0 Updated Nov 13, 2019
  • java-fork-join-example Public Forked from albertattard/java-fork-join-example

    Java Creed - Java Fork Join Example

    segroup-uni-trier/java-fork-join-example’s past year of commit activity
    Java 0 Apache-2.0 25 0 0 Updated Nov 27, 2018
  • chapters Public Forked from ds4se/chapters

    Perspectives on Data Science for Software Engineering

    segroup-uni-trier/chapters’s past year of commit activity
    Makefile 0 34 0 0 Updated Sep 7, 2018
View all repositories

Top languages

Loading…

Most used topics

Loading…