41554 blogs · 4,417,066 posts Claim your blog

Record · corpus.blog/posts/01a0b877-6fb9-7283-b3d2-e84f733366bb

Saturn 1.0: Data structures for OCaml Multicore

tarides.com · published 11 December 2024

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at tarides.com Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 14
Words captured: 1,072

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://github.com/ocaml-multicore/saturn

github.com

https://opam.ocaml.org/

opam.ocaml.org

https://discuss.ocaml.org/

discuss.ocaml.org

https://icfp24.sigplan.org/details/ocaml-2024-papers/12/Saturn-a-library-of-verified-concurrent-data-structures-for-OCaml-5

icfp24.sigplan.org

https://github.com/ocaml-multicore/saturn/blob/main/bench/README.md

github.com

https://bench.ci.dev/ocaml-multicore/saturn/branch/main/benchmark/default?worker=fermat&image=bench.Dockerfile

bench.ci.dev

https://dl.acm.org/doi/10.1145/78969.78972

dl.acm.org

https://iris-project.org/

iris-project.org

https://coq.inria.fr

coq.inria.fr

https://www.youtube.com/live/OuQqblCxJ2Y?si=Z5eUhyNFUjWSI43v&t=24398

youtube.com

https://bsky.app/profile/tarides.com

bsky.app

https://mastodon.social/@tarides

mastodon.social

https://www.threads.net/@taridesltd

threads.net

https://www.linkedin.com/company/tarides

linkedin.com