DHBW Horb Gitea

FabianHamacher/ TurboSchach

C++ 0 0

Updated 2024-12-13 01:45:11 +00:00

RubenKraft/ JavaTXLanguageServer

Java 0 0

Language Server for JavaTX including various Clients.

Updated 2024-12-12 21:06:30 +00:00

JavaTX/ JavaCompilerCore

Java 0 3

JavaTX Compiler

Updated 2024-12-12 16:27:48 +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 2024-12-12 14:01:06 +00:00

vanBos/ S3_Cpp

C++ 0 0

Updated 2024-12-11 23:23:53 +00:00

i21023/ JavaTXCompilerInJavaTXNoMaven

Java 0 0

Updated 2024-12-06 22:53:45 +00:00

stan/ JavaTypeUnifyASP

Java 0 0

Implementierung des Typunifikationsalgorithmus mit ASP

Updated 2024-11-28 12:12:34 +00:00

stan/ WLP2024

TeX 0 0

ASP Unify Algorithm Paper

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

sebastianbrosch/ VL-CPP

C++ 0 0

Updated 2024-11-22 13:32:35 +00:00

FabianHamacher/ TheoInf3-Lexer

Java 0 0

Updated 2024-11-20 14:31:50 +00:00

JavaTX/ Plugin_JCC

Java 0 0

Updated 2024-11-06 10:59:58 +00:00

sebastianbrosch/ VL-PAR-PROG

Java 0 0

Updated 2024-10-24 21:18:03 +00:00

vanBos/ ParProg

Java 0 0

Updated 2024-10-21 06:48:53 +00:00

i23024/ Uebungsaufgaben

Java 0 0

Updated 2024-10-09 20:48:37 +00:00

stan/ Ecoop2024_TIforWildFJ

TeX 0 0

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

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

i21023/ Vortrag-Bad-Honnef

TeX 0 0

Updated 2024-07-19 23:09:04 +00:00

vanBos/ S2_Algos-und-DS

Java 0 0

Updated 2024-07-16 17:29:45 +00:00

Jonathan-Kalmbach/ Programmieren_Projekt

Java 0 0

Updated 2024-07-10 05:57:40 +00:00

i22005/ NichtHaskell2.0

Java 1 0

Updated 2024-07-09 16:50:51 +00:00