Skip to content
View glockyco's full-sized avatar
12 followers · 8 following

Block or report glockyco

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
glockyco/README.md

PhD student in software engineering at the University of Klagenfurt, working on program analysis and automated testing.

Outside of research, I build interactive maps, data-mined game compendiums, and mods for indie game communities.

More at glockyco.com.

Pinned Loading

  1. PASDA PASDA Public

    Forked from resess/ARDiff

    PASDA: partition-based semantic differencing with best-effort classification of undecided cases (JSS 2024).

    Java 1

  2. Teralizer Teralizer Public

    Teralizer: semantics-based test generalization from conventional JUnit tests to property-based jqwik tests.

    HTML

  3. ancient-kingdoms-mods ancient-kingdoms-mods Public

    Mods, data mining, world map, and compendium for Ancient Kingdoms.

    Svelte

  4. erenshor-data-mining erenshor-data-mining Public

    Mods, data mining, interactive maps, and wiki bot for Erenshor.

    C#

  5. aau-long-night-of-research-26 aau-long-night-of-research-26 Public

    Newspaper-style archive of webpages built by visitors at the Long Night of Research 2026

    HTML

  6. HotRepl HotRepl Public

    Agent-first runtime C# REPL for Unity/Mono game modding

    C#