DHBW Horb Gitea

JavaTX/ JavaCompilerCore

Java 0 3

JavaTX Compiler

Updated 2025-09-18 16:56:13 +00:00

RubenKraft/ JavaTXLanguageServer

Java 0 0

Language Server for JavaTX including various Clients.

Updated 2025-09-18 16:05:48 +00:00

RubenKraft/ RunExtension

TypeScript 0 0

Updated 2025-09-17 16:53:48 +00:00

Fabian_Mujdrica/ COBOL-to-JavaTX

TeX 0 0

Updated 2025-09-17 11:34:19 +00:00

e23006/ test

0 0

Updated 2025-09-17 10:58:14 +00:00

stan/ JavaTypeUnifyASP

Java 0 0

Implementierung des Typunifikationsalgorithmus mit ASP

Updated 2025-08-13 15:37:09 +00:00

f.holzwarth/ JavaCompilerCore

Java 0 0

JavaTX Compiler fork for unification webservice

Updated 2025-08-04 11:42:20 +00:00

jschmidt/ javatx-compiler-plugin

Java 0 0

Updated 2025-07-30 14:43:45 +00:00

stan/ WLP2024

TeX 0 0

ASP Unify Algorithm Paper

Updated 2025-06-19 11:32:37 +00:00

stan/ MethodType3Counter

ANTLR 0 0

Used for Java-TX Evaluation

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

jschmidt/ JavaTXCompilerInJavaTXNoMaven

Java 0 0

Updated 2025-03-13 06:36:33 +00:00

jschmidt/ Vortrag-Bad-Honnef

TeX 0 0

Updated 2025-03-12 20:40:01 +00:00

stan/ 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

stan/ PacketsPlease

GDScript 0 0

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

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

Gordrin/ git-labor-praxis

Text 1 0

Updated 2025-02-21 15:49:02 +00:00

KiJo/ Test_1

0 0

Updated 2025-02-21 14:20:12 +00:00

e23012/ Second

0 0

Updated 2025-02-21 14:11:06 +00:00

Mike/ Test

Text 0 0

Updated 2025-02-21 14:10:13 +00:00

LuisThiel/ repo1

0 0

Updated 2025-02-21 14:10:08 +00:00

e23013/ second

0 0

Updated 2025-02-21 14:06:05 +00:00