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
- A Kotlin-friendly wrapper for AssertJ☆22Updated 5 years ago
- Arrow plug-in for IntelliJ-based IDEs☆13Updated this week
- Captures HTTP client traffic and pretty prints it with any Java logger. Supported clients: OkHttp, OkHttp3, ApacheHttpClient.☆23Updated last week
- Demo of multiplatform project using kotlinx.html and kotlinx.serialization☆58Updated 7 years ago
- Bot for Kotlin chats in telegram.☆30Updated this week
- Continuous Delivery to Kubernetes with Kotlin, Ktor, Gradle, Jib, Skaffold and Kubernetes (EKS)☆18Updated 2 years ago
- Create Typesafe Cloudformation Templates with Kotlin☆31Updated 5 years ago
- Kotlin logging, both js and jvm☆35Updated 7 years ago
- Exercises to learn Kotlin a test at a time☆23Updated 6 years ago
- Compile Kotlin code and run Kapt annotation processing directly from Kotlin☆12Updated 2 years ago
- kotlin multiplatform implementation/bindings of opentest4j☆22Updated 2 years ago
- A Kotlin framework for development of high performance, IO-driven applications.☆34Updated 7 years ago
- a simple result monad for kotlin☆14Updated 5 years ago
- ☆28Updated 2 years ago
- The changelog is cast, let the versions fall where they may.☆48Updated last year
- A basic tutorial for Kotlin coroutines☆55Updated 8 years ago
- Fluent RxJava JDBC extension functions for Kotlin☆28Updated 6 years ago
- Maven repository that proxy artifact request to one of know project-based maven repositories☆16Updated 10 months ago
- Core utilities for Kotlin Multiplatform☆19Updated 3 years ago
- KotlinX Serialization JsonElement DSL based on Arrow Optics☆39Updated last week
- A tool to generate randomized test values for Kotlin Multiplatform.☆12Updated last year
- Ktor Plugin and Kotlin(X) integrations for GCP PubSub☆24Updated this week
- Automatic code formatter for Gradle☆27Updated 5 months ago
- Kotlin coroutine support for MongoDB built on top of the official Reactive Streams Java Driver☆34Updated 2 years ago
- Ktor Coroutine I/O clients☆20Updated 7 years ago
- Ktor native application using GraalVM☆22Updated 6 years ago
- A DSL for KotlinPoet☆28Updated 5 years ago
- Data Structure library for Kotlin☆49Updated 3 years ago
- ⚡ Vespene adds fuel to your Nexus repositories☆39Updated last year