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
- Arrow plug-in for IntelliJ-based IDEs☆12Updated last week
- Continuous Delivery to Kubernetes with Kotlin, Ktor, Gradle, Jib, Skaffold and Kubernetes (EKS)☆18Updated 2 years ago
- ☆28Updated 2 years ago
- Ktor Plugin and Kotlin(X) integrations for GCP PubSub☆23Updated this week
- Kotlin coroutine support for MongoDB built on top of the official Reactive Streams Java Driver☆33Updated 2 years ago
- Demo of multiplatform project using kotlinx.html and kotlinx.serialization☆58Updated 6 years ago
- A Kotlin framework for development of high performance, IO-driven applications.☆34Updated 7 years ago
- Embeddable component for running Kotlin's Arrow library code snippets☆21Updated 2 years ago
- Compile Kotlin code and run Kapt annotation processing directly from Kotlin☆12Updated 2 years ago
- Sample code for https://eng.uber.com/measuring-kotlin-build-performance/☆12Updated 6 years ago
- A Kotlin DSL for regular expressions☆89Updated 8 years ago
- A Kotlin-friendly wrapper for AssertJ☆22Updated 4 years ago
- Some examples for Λrrow Meta the functional companion to Kotlin's Compiler & IDE.☆58Updated 3 years ago
- Fluent RxJava JDBC extension functions for Kotlin☆28Updated 6 years ago
- The changelog is cast, let the versions fall where they may.☆48Updated last year
- Multi-platform http4k demo application☆21Updated 7 months ago
- Various helper functions, delegates and extension functions for use in Coroutines☆8Updated 6 years ago
- Exercises to learn Kotlin a test at a time☆23Updated 6 years ago
- Create Typesafe Cloudformation Templates with Kotlin☆31Updated 5 years ago
- Captures HTTP client traffic and pretty prints it with any Java logger. Supported clients: OkHttp, OkHttp3, ApacheHttpClient.☆22Updated last week
- A template project for Arrow on MPP. It defines an application and a couple small examples☆16Updated last week
- A validation library with distinct separation of pre- and post-validation models, focused on validator composability☆31Updated last year
- A tool to generate randomized test values for Kotlin Multiplatform.☆12Updated last year
- Automatic code formatter for Gradle☆25Updated 2 weeks ago
- KotlinMultiplatformPlayground☆16Updated 3 years ago
- Painless and fast Gradle plugin development☆20Updated 3 months ago
- A Kotlin multi-platform library for graph data structures☆20Updated 2 years ago
- npx for kotlin and the JVM! Install and execute jars or kotlin scripts just like any other command line utility.☆48Updated last year
- /** KoDEx */: Kotlin Documentation Extensions. KDoc preprocessor Gradle plugin and IDEA plugin (Beta).☆23Updated 2 months ago