Andreas Stadelmeier stan

2 Followers · 2 Following

• Joined on 2023-11-14

Projects Packages Public Activity Starred Repositories

Filter

Clear Filter

Archived Not Archived

Forked Not Forked

Mirrored Not Mirrored

Template Not Template

Private Public

Sort

Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks Smallest size Largest size

JavaTypeUnifyASP

Java 0 0

Implementierung des Typunifikationsalgorithmus mit ASP

Updated 2025-04-08 13:40:09 +00:00

MethodType3Counter

ANTLR 0 0

Used for Java-TX Evaluation

Updated 2025-03-13 21:21:45 +00:00

jdk-24

Java 0 0

jdk-24 fork (from: https://github.com/openjdk/jdk) with modifications to be used in Wildcard-Usage analysis tools

Updated 2025-03-12 17:16:39 +00:00

PacketsPlease

GDScript 0 0

XR-Game. Ethernet-Simulator als Versuch einer Immersiven Lehrmethode

Updated 2025-03-07 19:51:52 +00:00

FeatherweightTypeInference

Scala 0 0

Updated 2024-12-19 13:04:14 +00:00

WLP2024

TeX 0 0

ASP Unify Algorithm Paper

Updated 2024-11-24 11:52:36 +00:00

Ecoop2024_TIforWildFJ

TeX 0 0

Updated 2024-09-02 10:28:51 +00:00

WildFJ-Typeinference

Scala 0 0

Prototype Implementation of a type inference algorithm for Featherweight Java including Wildcards re-implementation using Scala 3

Updated 2024-08-15 15:03:28 +00:00

VortragBadHonnef24

TeX 0 0

Updated 2024-04-30 12:07:23 +00:00

AntlrAssignment3Template

Java 1 6

Template für Übungsblatt 2 der ANTLR Vorlesung

Updated 2024-03-20 12:58:17 +00:00

Gaming_Repository Archived

Java 0 0

Updated 2023-12-05 17:48:33 +00:00

AdventOfCode

Java 0 0

Updated 2023-12-03 19:07:11 +00:00