backtracking / bheapLinks
OCaml binary heap implementation by Jean-Christophe Filliatre
☆18Updated 4 years ago
Alternatives and similar repositories for bheap
Users that are interested in bheap are comparing it to the libraries listed below
Sorting:
- A simple websocket library for OCaml with no dependencies☆16Updated last year
- OCaml implementation of sets as hash tables by Jean-Christophe Filliatre☆10Updated 4 months ago
- OCaml bindings to Minisat☆12Updated last year
- Convert file extensions to MIME types☆23Updated last year
- ocb (OCaml Badgen) is an OCaml library for SVG badge generation. There's also a command-line tool provided.☆21Updated 5 months ago
- Convert a cmi file back to an mli interface☆18Updated 10 years ago
- Self-adjusting computations☆22Updated last year
- Dig into an opam switch for doc☆10Updated 3 years ago
- ☆20Updated 6 years ago
- agrid is an OCaml library for adjustable grids. Adjustable grids are two dimensional arrays whose width/height can be changed by adding o…☆14Updated 2 years ago
- line based patch, input is a unified diff☆24Updated 3 weeks ago
- Lockless Multiple Producer Single Consumer Queue for ocaml-multicore☆18Updated 3 years ago
- ☆14Updated last year
- a distributed computing library for OCaml☆24Updated last year
- Performance Application Programming Interface for OCaml☆16Updated 2 years ago
- Dissect OCaml compiled programs, and weight their content☆25Updated 2 years ago
- QOI image codec for OCaml (unreleased)☆11Updated 7 months ago
- Format string experimentations☆13Updated 3 years ago
- An OCaml library for parsing documentation comments written in 'odoc markup', a superset of 'ocamldoc markup'.☆16Updated last year
- Auto-formatter for OCaml code☆11Updated 2 months ago
- Exploring the corners of OCaml type system☆18Updated 3 years ago
- Toplevel expectation test☆17Updated last week
- Efficient caching library for OCaml☆33Updated last year
- Easy OCaml scripts (unreleased)☆20Updated 4 months ago
- Map à la Binary Radix Tree☆20Updated 3 years ago
- collect activity and format as markdown for a journal☆18Updated 3 years ago
- Graphs of the various type conversions provided by the OCaml standard library.☆34Updated 4 years ago
- Nullable-array is a small self-contained library providing an efficient implementation for a type equivalent to `'a option array`☆17Updated 4 years ago
- Overlay over bigarrays of chars☆14Updated 4 years ago
- String searching with errors, using the Wu-Manber algorithm☆23Updated 5 months ago