Software Technology Group
Popular repositories
Loading
Applied Static Analysis
HTML
11
5
Repositories
Showing 10 of 105 repositories
stg-tud/SecureCoder’s past year of commit activity
Kotlin
1
MIT
0
0
1
Updated Dec 27, 2025
lacca
Public
[@haaase ] code and resources for the LACCA Software Campus project
stg-tud/lacca’s past year of commit activity
Scala
1
0
0
0
Updated Dec 24, 2025
Bismuth
Public
Monorepo for replicated & dataflow language abstractions [@rmgk ]
stg-tud/Bismuth’s past year of commit activity
Jupyter Notebook
7
Apache-2.0
2
0
0
Updated Dec 20, 2025
WAPIIBench
Public
A benchmark for web API integration code generation
stg-tud/WAPIIBench’s past year of commit activity
Python
1
Apache-2.0
0
0
0
Updated Nov 13, 2025
ucan-scala
Public
Scala implementation of the UCAN v0.10.0 spec
stg-tud/ucan-scala’s past year of commit activity
Scala
0
Apache-2.0
0
0
0
Updated Oct 14, 2025
stg-tud/daimpl-2025-testing’s past year of commit activity
Lean
3
EUPL-1.2
0
0
0
Updated Oct 1, 2025
stg-tud/itergen’s past year of commit activity
Python
0
MIT
4
0
0
Updated Aug 25, 2025
stg-tud/syncode’s past year of commit activity
Python
0
MIT
33
0
0
Updated Aug 22, 2025
LoRe
Public
verified local-first programming
stg-tud/LoRe’s past year of commit activity
Scala
6
MPL-2.0
2
0
0
Updated Jul 22, 2025
stg-tud/daimpl-lofi-auth’s past year of commit activity
Scala
1
0
0
0
Updated Mar 30, 2025
Most used topics
Loading…
You can’t perform that action at this time.
