elizarov / DeadlocksInCSPLinks
Companion project with code for "Deadlocks in non-hierarchical CSP" blog post
☆21Updated 6 years ago
Alternatives and similar repositories for DeadlocksInCSP
Users that are interested in DeadlocksInCSP are comparing it to the libraries listed below
Sorting:
- Experimental probabilistic programming framework based on Kotlin coroutines☆20Updated 4 years ago
- Continuous Delivery to Kubernetes with Kotlin, Ktor, Gradle, Jib, Skaffold and Kubernetes (EKS)☆18Updated 2 years ago
- Exercises to learn Kotlin a test at a time☆23Updated 6 years ago
- a simple result monad for kotlin☆14Updated 5 years ago
- Arrow plug-in for IntelliJ-based IDEs☆12Updated last week
- ☆28Updated 2 years ago
- Various helper functions, delegates and extension functions for use in Coroutines☆8Updated 6 years ago
- Captures HTTP client traffic and pretty prints it with any Java logger. Supported clients: OkHttp, OkHttp3, ApacheHttpClient.☆22Updated this week
- Create Typesafe Cloudformation Templates with Kotlin☆31Updated 5 years ago
- Bot for Kotlin chats in telegram.☆24Updated 2 weeks ago
- A Kotlin-friendly wrapper for AssertJ☆22Updated 4 years ago
- Kobby is a codegen plugin of Kotlin DSL Client by GraphQL schema. The generated DSL supports execution of complex GraphQL queries, mutati…☆84Updated last month
- Multi-platform http4k demo application☆21Updated 6 months ago
- Kotlin DSL for Junit5☆14Updated 7 years ago
- Kotlin coroutine support for MongoDB built on top of the official Reactive Streams Java Driver☆33Updated 2 years ago
- Fluent RxJava JDBC extension functions for Kotlin☆28Updated 6 years ago
- Kotlin dsl for spring mvc test☆14Updated 5 years ago
- sample microservices written in Kotlin that demonstrates usage of Ktor framework with Consul server☆53Updated this week
- IntelliJ Settings Repository for http4k projects☆13Updated 2 years ago
- Demo of multiplatform project using kotlinx.html and kotlinx.serialization☆58Updated 6 years ago
- a simple AssertJ wrapper for Kotlin☆21Updated 5 months ago
- Painless and fast Gradle plugin development☆20Updated 2 months ago
- Embeddable component for running Kotlin's Arrow library code snippets☆21Updated 2 years ago
- 100 example uses for Kotlin dataframe☆10Updated last year
- A basic tutorial for Kotlin coroutines☆50Updated 8 years ago
- Typesafe, compositional routing and reverse routing for web apps and HTTP microservices☆25Updated 4 years ago
- Kotlin logging, both js and jvm☆34Updated 7 years ago
- A gradle plugin for Kotest☆31Updated 5 months ago
- RETIRED. Provides extension functions and features for smooth development with Bootique and Kotlin.☆13Updated last year
- Ktor Plugin and Kotlin(X) integrations for GCP PubSub☆23Updated this week