9 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
sobjectizer 5.8.2-1 1 0.00 An implementation of Actor, Publish-Subscribe, and CSP models in one rather small C++ framework tocic 2024-03-25 16:09 (UTC)
ltsa 3.0-8 5 0.00 Labelled Transition System Analyser, a verification tool for concurrent systems gamezelda 2023-11-22 23:19 (UTC)
ocaml-dscheck 0.4.0-1 0 0.00 Experimental model checker for testing concurrent algorithms dpeukert 2024-02-22 23:45 (UTC)
ocaml-async_unix 0.16.0-1 0 0.00 Monadic concurrency library for OCaml (Unix-related dependencies) dpeukert 2024-01-27 23:05 (UTC)
ocaml-async_rpc_kernel 0.16.0-1 0 0.00 Platform-independent core of Async RPC library for OCaml dpeukert 2024-01-27 23:05 (UTC)
ocaml-async_kernel 0.16.0-1 0 0.00 Monadic concurrency library for OCaml (core data structures) dpeukert 2024-01-27 23:05 (UTC)
ocaml-async 0.16.0-1 0 0.00 Monadic concurrency library for OCaml dpeukert 2024-01-27 23:05 (UTC)
libdill 2.14-2 5 0.00 Structured concurrency in C orphan 2022-04-06 17:31 (UTC)
exifcleaner-bin 3.6.0-4 5 0.05 Desktop app to clean metadata from images, videos, PDFs, and other files. orphan 2021-08-28 22:32 (UTC)

9 packages found. Page 1 of 1.