DHBW Horb Gitea

JavaTX/ JavaCompilerCore

Java 1 3

JavaTX Compiler

Updated 2026-05-19 09:35:01 +00:00

i23024/ PetBuddy

Dart 0 0

Track your pet.

Updated 2026-05-18 21:01:37 +00:00

Jonathan-Kalmbach/ Compilerbau2026

Java 0 0

Updated 2026-05-18 18:03:33 +00:00

jschmidt/ javatx-compiler-plugin

Java 1 0

Updated 2026-05-15 13:18:02 +00:00

mo/ Compoiler

Haskell 1 0

compoiler fuer java--

Updated 2026-05-15 09:28:31 +00:00

Jonas_Braun/ SoftwareQualiTeam1

Jupyter Notebook 0 0

Updated 2026-05-13 08:50:48 +00:00

OIlczuk/ SF_eventdriven-rfid

Python 0 0

Studienarbeit Oliver Ilczuk

Updated 2026-05-08 11:57:22 +00:00

JavaTX/ JavaTXLanguageServer

Java 0 0

Language Server for JavaTX including various Clients.

Updated 2026-04-29 08:31:59 +00:00

RubenKraft/ JavaTXLanguageServer

Java 0 0

Language Server for JavaTX including various Clients.

Updated 2026-03-20 20:02:38 +00:00

jschmidt/ JavaCompilerCore-SCCs

Java 0 0

JavaTX Compiler

Updated 2026-03-19 09:25:57 +00:00

jschmidt/ javatx-compiler-plugin-example

Java 0 0

Updated 2025-12-02 11:31:39 +00:00

Sean/ Studienarbeit-Advanced-SWE-Blockchain-basierte-Softwarearchitekturen

0 0

Updated 2025-10-24 08:29:26 +00:00

JavaTX/ RunExtension

TypeScript 0 0

Updated 2025-10-09 15:47:32 +00:00

RubenKraft/ RunExtension

TypeScript 0 0

Updated 2025-09-22 17:00:41 +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

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