elizarov / DeadlocksInCSP
Companion project with code for "Deadlocks in non-hierarchical CSP" blog post
☆20Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for DeadlocksInCSP
- Experimental probabilistic programming framework based on Kotlin coroutines☆20Updated 3 years ago
- Captures HTTP client traffic and pretty prints it with any Java logger. Supported clients: OkHttp, OkHttp3, ApacheHttpClient.☆21Updated this week
- Continuous Delivery to Kubernetes with Kotlin, Ktor, Gradle, Jib, Skaffold and Kubernetes (EKS)☆18Updated last year
- A Kotlin-friendly wrapper for AssertJ☆22Updated 3 years ago
- Various helper functions, delegates and extension functions for use in Coroutines☆8Updated 5 years ago
- Typesafe, compositional routing and reverse routing for web apps and HTTP microservices☆25Updated 4 years ago
- Arrow plug-in for IntelliJ-based IDEs☆11Updated this week
- Ktor Plugin and Kotlin(X) integrations for GCP PubSub☆20Updated last year
- Kotlin Gradle plugins for conveniently setting up Kotlin projects (JVM/MPP), publishing, Dokka, etc☆16Updated this week
- Exercises to learn Kotlin a test at a time☆23Updated 5 years ago
- A tool to generate randomized test values for Kotlin Multiplatform.☆12Updated 7 months ago
- KotlinMultiplatformPlayground☆16Updated 3 years ago
- A validation library with distinct separation of pre- and post-validation models, focused on validator composability☆31Updated last year
- Sample code for https://eng.uber.com/measuring-kotlin-build-performance/☆12Updated 5 years ago
- Prototype of generating `copyDynamic` extension functions for kotlin data classes☆56Updated 2 years ago
- Multi-platform http4k demo application☆20Updated 3 weeks ago
- sample microservices written in Kotlin that demonstrates usage of Ktor framework with Consul server☆51Updated this week
- Gradle Github info plugin☆13Updated 2 months ago
- A source code generator for Kotlin data classes to automatically create a Builder class.☆16Updated 6 years ago
- A gradle plugin for Kotest☆31Updated last month
- kotlin multiplatform implementation/bindings of opentest4j☆20Updated last year
- Gradle Plugin: KDoc / JavaDoc Preprocessor that can produce modified sources☆19Updated this week
- Setup the Kotlin™ cli compiler in GitHub Actions☆31Updated this week
- Demo source code and placeholders for showing value of Kotlin over Java☆14Updated 6 years ago
- ☆27Updated last year
- A Kotlin Multiplatform Utility Library for Uniform Resource Identifiers (URIs)☆37Updated 2 years ago
- Maven repository that proxy artifact request to one of know project-based maven repositories☆15Updated 8 months ago
- Project to benchmark and profile Error-Prone performance to uncover bottlenecks.☆12Updated 6 years ago
- a simple result monad for kotlin☆14Updated 4 years ago
- ☆12Updated 3 years ago