Pinned
Repositories
Showing 10 of 51 repositories
-
- docker-android Public
- koin Public Forked from InsertKoinIO/koin
KOIN - a pragmatic lightweight dependency injection framework for Kotlin
- tlaplus Public Forked from tlaplus/tlaplus
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
- kordamp-gradle-plugins Public Forked from kordamp/kordamp-gradle-plugins
A collection of Gradle plugins