Starling Tool

An automatic verifier for concurrent algorithms.
Alternatives To Starling Tool
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Akka12,8643279532 months ago90October 15, 2020869otherScala
Build highly concurrent, distributed, and resilient message-driven applications on the JVM
Concurrent Ruby5,5812052 months ago69February 24, 202345otherRuby
Modern concurrency tools including agents, futures, promises, thread pools, supervisors, and more. Inspired by Erlang, Clojure, Scala, Go, Java, JavaScript, and classic concurrency patterns.
Concurrent Map4,004833373 months ago4November 08, 202232mitGo
a thread-safe concurrent map for go
Zio3,97192714 days ago75November 06, 2023362apache-2.0Scala
ZIO — A type-safe, composable library for async and concurrent programming in Scala
Golang Set3,7285032,4963 months ago11November 29, 20234otherGo
A simple, battle-tested and generic set type for the Go language. Trusted by Docker, 1Password, Ethereum and Hashicorp.
Ck2,254
3 months ago27otherC
Concurrency primitives, safe memory reclamation mechanisms and non-blocking (including lock-free) data structures designed to aid in the research, design and implementation of high performance concurrent systems developed in C99+.
Concurrencpp1,922
2 months ago4mitC++
Modern concurrency for C++. Tasks, executors, timers and C++20 coroutines to rule them all
Arq1,7394154 months ago59December 02, 202270mitPython
Fast job queuing and RPC in python with asyncio and redis.
Yar1,408
2 years ago33otherC
Light, concurrent RPC framework for PHP & C
Eventlet1,2244,7373642 months ago82January 17, 2023209otherPython
Concurrent networking library for Python
Alternatives To Starling Tool
Select To Compare


Alternative Project Comparisons
Popular Concurrent Projects
Popular Concurrency Projects
Popular Control Flow Categories
Related Searches

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Fsharp
Concurrency
Concurrent
Starling
Formal Methods