OCaml Planet
48 FOLLOWERS
OCaml Planet is a community-driven website, created by and for OCaml developers and those interested in the language. OCaml is a general-purpose industrial-strength programming language with an emphasis on expressiveness and safety.
OCaml Planet
6d ago
Performance engineering of MirageVPN, speeding it up by a factor of 25 ..read more
OCaml Planet
6d ago
let test_counter () = Atomic.trace (fun () -> let counter = Counter.create () in Atomic.spawn (fun () -> Counter.incr counter); (* [Atomic.spawn] is the DSCheck function to simulate [Domain.spawn] ) Atomic.spawn (fun () -> Counter.incr counter); ( There is no need to join domains as DSCheck does not actually spawn domains. *) Atomic.final (fun () -> Atomic.check (fun () -> Counter.get counter == 2 ..read more
OCaml Planet
6d ago
The following actions will be performed: ∗ install dune 3.14.0 [required by hc] ∗ install hc 0.3* ===== ∗ 2 ===== Do you want to continue? [Y/n] y
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><> ⬇ retrieved hc.0.3 (no changes) ⬇ retrieved dune.3.14.0 (https://opam.ocaml.org/cache) ∗ installed dune.3.14.0 ∗ installed hc.0.3 Done.
<><> hc: information on all versions ><><><><><>< ..read more
OCaml Planet
1w ago
OCaml Planet
2w ago
OCaml Planet
3w ago