elizarov / DeadlocksInCSP
Companion project with code for "Deadlocks in non-hierarchical CSP" blog post
☆20Updated 6 years ago
Alternatives and similar repositories for DeadlocksInCSP:
Users that are interested in DeadlocksInCSP are comparing it to the libraries listed below
- Kotlin Gradle plugins for conveniently setting up Kotlin projects (JVM/MPP), publishing, Dokka, etc☆16Updated last week
- Captures HTTP client traffic and pretty prints it with any Java logger. Supported clients: OkHttp, OkHttp3, ApacheHttpClient.☆21Updated last month
- Ktor Plugin and Kotlin(X) integrations for GCP PubSub☆21Updated last week
- Arrow plug-in for IntelliJ-based IDEs☆12Updated 2 weeks ago
- ☆27Updated 2 years ago
- KotlinMultiplatformPlayground☆16Updated 3 years ago
- kotlin multiplatform implementation/bindings of opentest4j☆21Updated last year
- Exercises to learn Kotlin a test at a time☆23Updated 5 years ago
- Experimental probabilistic programming framework based on Kotlin coroutines☆20Updated 3 years ago
- Multi-platform http4k demo application☆20Updated 2 months 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
- A Kotlin framework for development of high performance, IO-driven applications.☆34Updated 6 years ago
- Kotlin coroutine support for MongoDB built on top of the official Reactive Streams Java Driver☆33Updated last year
- Kotlin Certificate processing library.☆41Updated 2 years ago
- A Kotlin-friendly wrapper for AssertJ☆22Updated 4 years ago
- Continuous Delivery to Kubernetes with Kotlin, Ktor, Gradle, Jib, Skaffold and Kubernetes (EKS)☆18Updated last year
- A Kotlin multi-platform library for graph data structures☆19Updated 2 years ago
- Maven repository that proxy artifact request to one of know project-based maven repositories☆15Updated last month
- Gradle Groovy to Gradle Kotlin conversion tool - discontinued spike☆34Updated 5 years ago
- Some examples for Λrrow Meta the functional companion to Kotlin's Compiler & IDE.☆58Updated 2 years ago
- A validation library with distinct separation of pre- and post-validation models, focused on validator composability☆31Updated last year
- Cross-platform file API☆26Updated 6 years ago
- Bot for Kotlin chats in telegram.☆22Updated this week
- Embeddable component for running Kotlin's Arrow library code snippets☆21Updated last year
- A tool to generate randomized test values for Kotlin Multiplatform.☆12Updated 11 months ago
- Collection of IO primitives to work with network and files written in Kotlin using kotlinx.coroutines library☆13Updated last year
- Gradle Github info plugin☆14Updated last month
- A gradle plugin for Kotest☆31Updated last month
- Project to benchmark and profile Error-Prone performance to uncover bottlenecks.☆12Updated 6 years ago