Kantis-ATG

Pinned Repositories

suspendapp
Reason about resource-safety in the same way you reason about Structured Concurrency with SuspendApp!
Language:Kotlin00
spring-framework
Spring Framework
Language:Java57.5k38.4k

Kantis-ATG's Repositories

Kantis-ATG/suspendapp
Reason about resource-safety in the same way you reason about Structured Concurrency with SuspendApp!