Search results

Personal repos should support identifiers of other platforms

enhancementNew feature or requestNew feature or request

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#718 In dice-group/dice-website;

· MichaelRoeder opened on May 27, 2026

Not all publication types are supported

enhancementNew feature or requestNew feature or request

Status: Open.

#475 In dice-group/dice-website;

· MichaelRoeder opened on Apr 12, 2023

Theses CS department

Status: Open.

#402 In dice-group/dice-website;

· adibaba opened on Jun 22, 2022

Do not rely on CSS to insert separators or whitespace

Status: Open.

#356 In dice-group/dice-website;

· denkv opened on Jan 19, 2022

Improve developer workflow and documentation

Status: Open.

#355 In dice-group/dice-website;

· denkv opened on Jan 19, 2022