3 search results for "tag:"concurrency""

Showing 1 - 3
  1. affect
    Documentation
    Streamlined and natural concurrency model for OCaml
    effects concurrency parallelism fibers org:erratique cml unix
    The affect programmers
    0.0.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  2. goblint
    Documentation
    Static analysis framework for C
    program analysis program verification static analysis abstract interpretation C data race analysis concurrency
    Simmo Saan Michael Schwarz Julian Erhard Sarah Tilscher Karoliine Holter et al.
    2.8.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  3. matrix-eio
    Documentation
    Eio-based runtime for the Matrix terminal library
    terminal eio structured-concurrency
    Thibaut Mattio
    0.1.0
    ISC
    Used by 0 other packages
    Added to opam-repository