Companion project with code for "Deadlocks in non-hierarchical CSP" blog post
☆21Jan 14, 2019Updated 7 years ago
Alternatives and similar repositories for DeadlocksInCSP
Users that are interested in DeadlocksInCSP are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12Jan 10, 2022Updated 4 years ago
- A POC of writing Gradle tasks using wasm as implementation☆11Feb 21, 2021Updated 5 years ago
- Kotlin coroutine support for MongoDB built on top of the official Reactive Streams Java Driver☆38Mar 28, 2026Updated 7 months ago
- Simple and extendable code highlighter in Kotlin Multiplatform☆22Sep 18, 2021Updated 5 years ago
- Port of jbox2d to multiplatform kotlin. Used in korge as extension: https://github.com/korlibs/korge/tree/master/korge-box2d☆15Jul 7, 2022Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Plugin for JetBrains IDEs to apply "quick fix" from the most relevant intention or inspection 💡☆22Oct 31, 2024Updated 2 years ago
- Adds useful inspections, intentions, and quick-fixes for working with Kotlin/JS projects.☆10Nov 24, 2023Updated 2 years ago
- Kotlin NonEmptyList☆14Sep 23, 2019Updated 7 years ago
- This is a quickstart repo for Orchid to get you up and running as soon as possible.☆16May 13, 2021Updated 5 years ago
- ☆16Jun 30, 2026Updated 4 months ago
- This plugin allows the use of Gradle wrapper on the machine without JVM.☆30Jul 30, 2026Updated 3 months ago
- Describe workaround to build JetPack Compose with Kotlin MPP☆13Apr 22, 2022Updated 4 years ago
- ☆17Feb 12, 2018Updated 8 years ago
- AWS Cloudfront access log parsing for gathering analytic data, implemented in Kotlin☆11Jan 10, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- PowerAuth Web Authentication - Federated Authentication and Authorization Server for Web☆13Sep 10, 2026Updated last month
- Kotlin JS SDK for writing GitHub Actions☆16Nov 23, 2022Updated 3 years ago
- Evolution of Java on an example from 1.0 to 10☆11Mar 27, 2018Updated 8 years ago
- Embeddable component for running Kotlin's Arrow library code snippets☆21Apr 4, 2023Updated 3 years ago
- Action to convert a normal GitHub url to its corresponding raw url.☆14Apr 23, 2026Updated 6 months ago
- ☆17Apr 8, 2024Updated 2 years ago
- Java library for joining objects into a graph, JOin gRAPH☆11Dec 12, 2020Updated 5 years ago
- Zero-config Kotlin multiplatform logging utility☆20Mar 2, 2022Updated 4 years ago
- A platform for analysis of Java bytecode☆40Oct 14, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Collection of IO primitives to work with network and files written in Kotlin using kotlinx.coroutines library☆12Dec 15, 2023Updated 2 years ago
- Kotlin Multiplatform Cryptography Library☆56Nov 30, 2021Updated 4 years ago
- Gradle plugin that collects GC metrics based on the GC logs generated during the build☆16Updated this week
- Demo of multiplatform project using kotlinx.html and kotlinx.serialization☆59Oct 26, 2018Updated 8 years ago
- Multiplatform Kotlin LuaJ port (LUA interpreter)☆44Jul 4, 2022Updated 4 years ago
- JNI bindings for Roc Toolkit.☆24Aug 25, 2026Updated 2 months ago
- ☆16Jun 13, 2020Updated 6 years ago
- A template project for working with the Ktor OpenAPI prototype☆24Sep 18, 2025Updated last year
- Toolset designed to collect, parse, filter and group automated tests from code, transform the result and perform the required further act…☆13Dec 2, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A fully functional Android app built entirely with Kotlin and Jetpack Compose☆12Oct 19, 2026Updated 2 weeks ago
- A polyfill for Kotlin cast<T>()☆14Nov 28, 2024Updated last year
- Annotation driven gRPC clients & servers in Kotlin☆26Aug 9, 2019Updated 7 years ago
- pentagame on the screen: https://pentagame.herokuapp.com/☆10Dec 12, 2020Updated 5 years ago
- ☆12Oct 28, 2021Updated 5 years ago
- This project is obsoleted by https://github.com/odnoklassniki/jvmti-tools☆13Apr 20, 2021Updated 5 years ago
- Mobile Apps for Podlodka Podcast, work in progress☆13Feb 18, 2020Updated 6 years ago