18 search results for "author:"Vesa Karvonen""
Showing 1 - 18
-
A scheduler independent blocking mechanism1.0.1ISCUsed by 6 other packages06 Feb 2024
-
A scheduler independent timeout mechanism1.0.1ISCUsed by 1 other packages06 Feb 2024
-
Software transactional memory based on lock-free multi-word compare-and-set0.7.0ISCUsed by 4 other packages27 Feb 2024
-
Compositional lock-free data structures and primitives for communication and synchronization0.7.0ISCUsed by 0 other packages27 Feb 2024
-
Framework for writing multicore benchmark executables to run on current-bench0.1.7ISCUsed by 4 other packages18 Oct 2024
-
Low-level multicore utilities for OCaml2.3.0ISCUsed by 11 other packages10 Jul 2024
-
An implementation of multicore-magic API using the atomic module of DScheck to make DScheck tests possible in libraries using multicore-magic2.3.0ISCUsed by 3 other packages10 Jul 2024
-
Pico scheduler interface0.5.0ISCUsed by 4 other packages05 Sep 2024
-
Auxiliary libraries for Picos0.5.0ISCUsed by 5 other packages05 Sep 2024
-
Asynchronous IO system for Picos0.5.0ISCUsed by 3 other packages05 Sep 2024
-
Cohttp running on Picos IO0.5.0ISCUsed by 1 other packages05 Sep 2024
-
Lwt interface for Picos0.5.0ISCUsed by 1 other packages05 Sep 2024
-
Integration tests for Picos packages0.5.0ISCUsed by 0 other packages05 Sep 2024
-
Sample schedulers for Picos0.5.0ISCUsed by 2 other packages05 Sep 2024
-
Sample libraries for Picos0.5.0ISCUsed by 6 other packages05 Sep 2024
-
Effectful OCaml with Objects and Variants1.0.0MITUsed by 0 other packages16 Aug 2022
-
0.2MITUsed by 3 other packages24 Aug 2024
-
A lock-free thread-safe integer keyed hash table1.0.0ISCUsed by 2 other packages15 Aug 2023