art-w / babiseat
add/remove for AVL, red-black, 2-3, 2-3-4 trees using GADTs
☆16Updated last year
Alternatives and similar repositories for babiseat:
Users that are interested in babiseat are comparing it to the libraries listed below
- OCaml behind the scenes: exceptions☆30Updated last year
- ☆14Updated 3 months ago
- Simple, existential optics library for OCaml☆16Updated 2 years ago
- line based patch, input is a unified diff☆24Updated 2 weeks ago
- Applying LRGrep to OCaml frontend☆12Updated this week
- A Framework for building Batched Concurrent Services☆21Updated 5 months ago
- A program launcher for Wayland☆14Updated last year
- An ocaml library for manipulating diffs.☆19Updated last year
- Lock-free Sets and Maps for OCaml multicore☆32Updated 2 years ago
- Menhir polishing toolbox, for experienced druids☆33Updated this week
- A statically generated webring with YOCaml, because we love small-web☆20Updated 2 weeks ago
- Not a filesystem for Mirage block devices☆24Updated 6 months ago
- A simple note-taking app (WIP)☆15Updated 2 years ago
- macOS bindings to the FSEvents API☆18Updated 8 months ago
- ☆9Updated 2 years ago
- ☆17Updated this week
- Effects-based OCaml Nameserver☆16Updated this week
- A bibtex file parser☆21Updated last year
- A HTTP client using HTTP/AF and lwt☆32Updated 3 months ago
- Declarative music for OCaml (unreleased)☆26Updated 11 months ago
- A unikernel as an IRC client☆25Updated last year
- An implementation of the Transmission Control Protocol in OCaml☆29Updated this week
- Alternative interpreter for OCaml format strings☆15Updated last year
- Ascend - simple, yet fun terminal RPG.☆25Updated 4 months ago
- Script that greps anything in the sources of every opam packages☆24Updated 2 years ago
- Declarative JSON data manipulation for OCaml☆19Updated 3 weeks ago
- A web interface for albatross☆19Updated this week
- A little project exploring Forests in Northern Ireland☆16Updated 2 years ago
- A simple app to test out irmin and dream☆18Updated 3 years ago
- A library to write web server and site☆23Updated last month