|
exifcleaner-bin
|
3.6.0-6 |
7 |
0.65
|
Clean metadata from images, videos, PDFs, and other files |
t_1990
|
2024-07-21 23:27 (UTC) |
|
async++
|
1.2-1 |
1 |
0.14
|
Async++ is a lightweight concurrency framework for C++11. |
Dominiquini
|
2024-12-20 05:07 (UTC) |
|
sobjectizer
|
5.8.4-1 |
1 |
0.00
|
An implementation of Actor, Publish-Subscribe, and CSP models in one rather small C++ framework |
tocic
|
2025-01-15 05:29 (UTC) |
|
ocaml-dscheck
|
0.5.0-2 |
0 |
0.00
|
Experimental model checker for testing concurrent algorithms |
dpeukert
|
2025-01-22 08:05 (UTC) |
|
ocaml-async_unix
|
0.17.0-3 |
0 |
0.00
|
Monadic concurrency library for OCaml (Unix-related dependencies) |
dpeukert
|
2025-01-22 08:02 (UTC) |
|
ocaml-async_rpc_kernel
|
0.17.0-3 |
0 |
0.00
|
Platform-independent core of Async RPC library for OCaml |
dpeukert
|
2025-01-22 08:02 (UTC) |
|
ocaml-async_kernel
|
0.17.0-3 |
0 |
0.00
|
Monadic concurrency library for OCaml (core data structures) |
dpeukert
|
2025-01-22 08:02 (UTC) |
|
ocaml-async
|
0.17.0-3 |
0 |
0.00
|
Monadic concurrency library for OCaml |
dpeukert
|
2025-01-22 08:02 (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) |
|
libdill
|
2.14-2 |
5 |
0.00
|
Structured concurrency in C |
orphan
|
2022-04-06 17:31 (UTC) |