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:
- A simple demo that shows how WebWorkers can be used in Kotlin/JS☆10May 21, 2021Updated 5 years ago
- ☆12Jan 10, 2022Updated 4 years ago
- A POC of writing Gradle tasks using wasm as implementation☆11Feb 21, 2021Updated 5 years ago
- Simple and extendable code highlighter in Kotlin Multiplatform☆22Sep 18, 2021Updated 4 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.
- Kotlin coroutine support for MongoDB built on top of the official Reactive Streams Java Driver☆36Mar 28, 2026Updated 4 months ago
- Plugin for JetBrains IDEs to apply "quick fix" from the most relevant intention or inspection 💡☆22Oct 31, 2024Updated last year
- Kotlin NonEmptyList☆14Sep 23, 2019Updated 6 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
- ☆15Feb 12, 2018Updated 8 years ago
- KotlinMultiplatformPlayground☆16Aug 14, 2021Updated 4 years ago
- Embeddable component for running Kotlin's Arrow library code snippets☆21Apr 4, 2023Updated 3 years ago
- Distributed Service-Unique IDs that are short and sweet.☆18Feb 4, 2017Updated 9 years ago
- PowerAuth Web Authentication - Federated Authentication and Authorization Server for Web☆13Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Kotlin JS SDK for writing GitHub Actions☆16Nov 23, 2022Updated 3 years ago
- Sample code for https://eng.uber.com/measuring-kotlin-build-performance/☆12Apr 30, 2019Updated 7 years ago
- A small library to display expandable texts in Jetpack Compose.☆14Mar 12, 2026Updated 5 months ago
- 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 Collection of Benchmarks focused on Kotlin/Wasm performance☆22Jul 29, 2026Updated 2 weeks ago
- JNI bindings for Roc Toolkit.☆23May 16, 2025Updated last year
- ☆17Apr 8, 2024Updated 2 years ago
- Java library for joining objects into a graph, JOin gRAPH☆11Dec 12, 2020Updated 5 years ago
- Instrument instrumenting agents to see how they transform classes☆35Dec 2, 2025Updated 8 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Demo of multiplatform project using kotlinx.html and kotlinx.serialization☆59Oct 26, 2018Updated 7 years ago
- Kotlin Multiplatform Cryptography Library☆56Nov 30, 2021Updated 4 years ago
- Zero Memory Widget☆10Dec 30, 2020Updated 5 years ago
- ☆10Nov 17, 2021Updated 4 years ago
- 🦊 Mokksy is a mock HTTP server for testing and simulating real-world API behavior, including streaming, SSE, delays, and failures. Built…☆16Updated this week
- Multiplatform Kotlin LuaJ port (LUA interpreter)☆44Jul 4, 2022Updated 4 years ago
- Zero-config Kotlin multiplatform logging utility☆18Mar 2, 2022Updated 4 years ago
- Prototype Java 9 library based on the asynchronous enumerable concept (where moveNext() returns a task to compose over).☆17Jan 30, 2023Updated 3 years ago
- 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
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Another circular ProgressBar attempt☆15May 31, 2018Updated 8 years ago
- gwt-websockets☆26Dec 31, 2018Updated 7 years ago
- Sample multiplatform library in Kotlin with tests and publishing☆43Dec 6, 2018Updated 7 years ago
- JDK Backports Monitor☆15Jun 18, 2024Updated 2 years ago
- Action to convert a normal GitHub url to its corresponding raw url.☆10Apr 23, 2026Updated 3 months ago
- Multi-OS Engine: Kotlin Samples☆42Jul 23, 2022Updated 4 years ago
- pentagame on the screen: https://pentagame.herokuapp.com/☆10Dec 12, 2020Updated 5 years ago