fpottier/kot
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
No description
248 commits 3 branches 1 tag 265 KiB
  • OCaml 92.9%
  • Makefile 5.9%
  • Standard ML 0.6%
  • Dune 0.6%
Find a file
Exact
François Pottier c40b6c7636 Update src/index.mld with a link to our paper.
2025-12-12 16:10:33 +01:00
attic/scenarios Manually expand the batch operations in the failure scenario. 2025-07-30 10:03:02 +02:00
src Update src/index.mld with a link to our paper. 2025-12-12 16:10:33 +01:00
test Alphabetical order of authors. 2025-07-30 15:02:54 +02:00
.gitattributes Initial commit. Non-catenable deques (for now) with [push] and [pop]. Tested. 2025-06-21 17:58:50 +02:00
.gitignore Initial commit. Non-catenable deques (for now) with [push] and [pop]. Tested. 2025-06-21 17:58:50 +02:00
AUTHORS.md Alphabetical order of authors. 2025-07-30 15:02:54 +02:00
CHANGES.md CHANGES. 2025-12-12 16:07:48 +01:00
dune-project dune-project: add [name] field. 2025-09-19 21:27:03 +02:00
headache.config Initial commit. Non-catenable deques (for now) with [push] and [pop]. Tested. 2025-06-21 17:58:50 +02:00
header.txt Alphabetical order of authors. 2025-07-30 15:02:54 +02:00
LICENSE.txt Remove reference to Oma in LICENSE. 2025-07-04 16:16:04 +02:00
Makefile Update [make versions.] 2025-12-12 16:06:34 +01:00
play.ml play.ml: a shorter example, complete with its prologue. 2025-07-29 09:59:22 +02:00
README.md Initial commit. Non-catenable deques (for now) with [push] and [pop]. Tested. 2025-06-21 17:58:50 +02:00
TODO.md TODO. 2025-07-29 16:55:26 +02:00

README.md

Kot

kot is an OCaml library that offers an implementation of Kaplan, Okasaki, and Tarjan's persistent catenable deques, as described in the paper Simple Confluently Persistent Catenable Lists.

Installation and Usage

Type opam install kot.

In your dune file, add (libraries kot) to the description of your library or executable.

Documentation

For more information, please see the documentation of the latest released version.