Language Server for JavaTX including various Clients.
Updated 2025-02-14 12:56:53 +00:00
JavaTX Compiler
Updated 2025-02-12 14:25:35 +00:00
Updated 2025-02-12 10:42:49 +00:00
Updated 2025-02-05 14:01:01 +00:00
Updated 2025-01-19 14:56:14 +00:00
jdk-24 fork (from: https://github.com/openjdk/jdk) with modifications to be used in Wildcard-Usage analysis tools
Updated 2024-12-31 17:03:18 +00:00
Updated 2024-12-24 12:00:03 +00:00
Updated 2024-12-19 13:04:14 +00:00
Updated 2024-12-11 23:23:53 +00:00
Implementierung des Typunifikationsalgorithmus mit ASP
Updated 2024-11-28 12:12:34 +00:00
ASP Unify Algorithm Paper
Updated 2024-11-24 11:52:36 +00:00
Updated 2024-11-22 13:32:35 +00:00
Updated 2024-11-20 14:31:50 +00:00
Updated 2024-11-06 10:59:58 +00:00
Updated 2024-10-24 21:18:03 +00:00
Updated 2024-10-21 06:48:53 +00:00
Updated 2024-09-02 10:28:51 +00:00
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
Updated 2024-07-19 23:09:04 +00:00
Updated 2024-07-16 17:29:45 +00:00