Simon Cruanes

cc @aspiwack

see https://github.com/nunchaku-inria/nunchaku/blob/master/src/core/Scheduling.ml for the scheduler, futures, and popen - ~[ ] futures~ too complicated, current ones work well - [x] with_session_leader - [ ] popen (again, relies on futures?)

not much need for gen aynmore

- [ ] improve listing of modules (landing page) with their title (fix odoc?) - [ ] document on the common conventions (seq/equal/pp/…) - [ ] basic document of types...

refactor `CCRingBuffer`

1

use https://www.snellman.net/blog/archive/2016-12-13-ring-buffers/ (offset + length), should be simpler and more intuitive, especially for batch operations. See #126 for previous issues.

Could be a good alternative to `CCRingBuffer` See https://www.codeproject.com/Articles/3479/The-Bip-Buffer-The-Circular-Buffer-with-a-Twist

The API is powerful, but signatures might be a bit overwhelming. It would be nice to have more detailed comments, that include some of the examples (see [CCUnix.mli](https://github.com/c-cube/ocaml-containers/blob/1.2/src/unix/CCUnix.mli) for some...

http://chargueraud.org/research/2014/chunkedseq/chunkedseq.pdf efficient double-ended queue (imperative and functional)

roaring bitmaps

2

https://arxiv.org/abs/1603.06549 as a good set of integers