dinosaure / gilbraltarLinks
MirageOS on RPi4
☆64Updated 3 years ago
Alternatives and similar repositories for gilbraltar
Users that are interested in gilbraltar are comparing it to the libraries listed below
Sorting:
- Irmin-based Markdown Editor☆49Updated 3 years ago
- Memory-efficient data structures in OCaml☆37Updated 4 years ago
- Auditively feel the work of the runtime☆33Updated last year
- Implementation of a matrix server in OCaml for MirageOS☆50Updated 2 years ago
- Declarative events and signals for OCaml☆50Updated last week
- Lock-free Sets and Maps for OCaml multicore☆37Updated 3 years ago
- ☆31Updated last month
- Adaptive Radix Tree in OCaml☆52Updated last year
- Convert a filesystem into a static OCaml module☆77Updated 10 months ago
- A small library to output memory graph for ocaml values☆40Updated last year
- Functional Priority Search Queues for OCaml☆53Updated last year
- Infrastructure to collect metrics from OCaml applications.☆46Updated 6 months ago
- Script that greps anything in the sources of every opam packages☆25Updated 3 months ago
- Show the internal dependencies in your OCaml/Reason/Dune project☆61Updated 8 months ago
- ☆27Updated last year
- OCaml behind the scenes: exceptions☆31Updated 2 years ago
- OCaml PPX extension for JSON literals and patterns☆45Updated last year
- Matching Regular Expressions with OCaml Patterns☆55Updated 2 years ago
- Use Lwt libraries from within Eio☆37Updated last year
- A simple app to test out irmin and dream☆18Updated 2 months ago
- Ocaml bindings for lmdb.☆47Updated last week
- Efficient caching library for OCaml☆33Updated 2 years ago
- Tools for record-and-replay debugging☆44Updated 2 years ago
- LexiFi runtime types☆34Updated 5 years ago
- Composable concurrency primitives with OCaml effects handlers (unreleased)☆44Updated last year
- Paste-eur as unikernel☆65Updated 10 months ago
- Pretty printing library☆55Updated last year
- Trivial/Tagless Polytypic Functions☆23Updated 5 years ago
- heterogenous Map over a GADT☆42Updated last year
- An HTTP client for accessing various carbon intensity APIs☆25Updated last year