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
- Compile Kotlin code and run Kapt annotation processing directly from Kotlin☆12Updated 2 years ago
- Captures HTTP client traffic and pretty prints it with any Java logger. Supported clients: OkHttp, OkHttp3, ApacheHttpClient.☆22Updated this week
- Kobby is a codegen plugin of Kotlin DSL Client by GraphQL schema. The generated DSL supports execution of complex GraphQL queries, mutati…☆86Updated last month
- A Kotlin framework for development of high performance, IO-driven applications.☆34Updated 7 years ago
- Continuous Delivery to Kubernetes with Kotlin, Ktor, Gradle, Jib, Skaffold and Kubernetes (EKS)☆18Updated 2 years ago
- A Kotlin-friendly wrapper for AssertJ☆22Updated 4 years ago
- Automatic code formatter for Gradle☆25Updated 2 months ago
- Exercises to learn Kotlin a test at a time☆23Updated 6 years ago
- Ktor Plugin and Kotlin(X) integrations for GCP PubSub☆23Updated last week
- Typesafe, compositional routing and reverse routing for web apps and HTTP microservices☆25Updated 4 years ago
- sample microservices written in Kotlin that demonstrates usage of Ktor framework with Consul server☆53Updated last week
- KotlinX Serialization JsonElement DSL based on Arrow Optics☆39Updated this week
- Arrow plug-in for IntelliJ-based IDEs☆12Updated this week
- Create Typesafe Cloudformation Templates with Kotlin☆31Updated 5 years ago
- Kotlin coroutine support for MongoDB built on top of the official Reactive Streams Java Driver☆34Updated 2 years ago
- a simple AssertJ wrapper for Kotlin☆21Updated 7 months ago
- The changelog is cast, let the versions fall where they may.☆48Updated last year
- Demo of multiplatform project using kotlinx.html and kotlinx.serialization☆58Updated 6 years ago
- Kotlin logging, both js and jvm☆35Updated 7 years ago
- Multi-platform http4k demo application☆21Updated 8 months ago
- A gradle plugin for Kotest☆31Updated 7 months ago
- Painless and fast Gradle plugin development☆20Updated 5 months ago
- A basic tutorial for Kotlin coroutines☆50Updated 8 years ago
- ☆28Updated 2 years ago
- Bot for Kotlin chats in telegram.☆25Updated last week
- Ktor native application using GraalVM☆22Updated 6 years ago
- 100 example uses for Kotlin dataframe☆11Updated last year
- Kotlin dsl for spring mvc test☆14Updated 5 years ago
- A clean multi-platform re-implementation of dataforge concepts☆26Updated 2 months ago