caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [Caml-list] Announcing Sek, an efficient implementation of sequences
@ 2020-04-04 10:11 François Pottier
  2020-04-04 13:17 ` Gabriel Scherer
  0 siblings, 1 reply; 7+ messages in thread
From: François Pottier @ 2020-04-04 10:11 UTC (permalink / raw)
  To: caml users


Fellow OCaml users,

We are pleased to announce the first release of Sek, an OCaml library that
offers an efficient implementation of sequences.

The library offers both ephemeral (mutable) sequences and persistent
(immutable) sequences, and offers constant-time conversions between these
flavors.

It supports all of the standard operations on stacks, queues, deques (e.g.
push, pop at either end), catenable sequences (concat, split), and random
access sequences (get, set).

Data is stored internally in chunks (fixed-capacity arrays),
which is why this data structure is known as a chunK SEquence.

It is intended to achieve excellent time complexity and memory usage.

This is an initial release. The library has not been tested in production,
but has received extensive unit testing, via afl-fuzz and ocaml+afl --
which are remarkably effective tools, by the way!

This is work in progress; more features, such as iterators, will be added
in the future.

To install Sek, just type

   opam update && opam install sek

Documentation is at

   http://cambium.inria.fr/~fpottier/sek/doc/sek/Sek/index.html

Feedback is welcome!

--
Arthur Charguéraud
François Pottier
with contributions by Émilie Guermeur

^ permalink raw reply	[flat|nested] 7+ messages in thread

end of thread, other threads:[~2020-04-07 22:07 UTC | newest]

Thread overview: 7+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-04-04 10:11 [Caml-list] Announcing Sek, an efficient implementation of sequences François Pottier
2020-04-04 13:17 ` Gabriel Scherer
2020-04-04 13:29   ` orbifx
2020-04-04 13:56     ` Gabriel Scherer
2020-04-04 14:04       ` orbifx
2020-04-07 22:06       ` Gerd Stolpmann
2020-04-05 11:35   ` François Pottier

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).