dinosaure / gilbraltar
MirageOS on RPi4
☆58Updated last year
Related projects: ⓘ
- Irmin-based Markdown Editor☆48Updated last year
- Trivial/Tagless Polytypic Functions☆23Updated 4 years ago
- Declarative events and signals for OCaml☆45Updated 5 months ago
- Efficient Bloom filters for OCaml☆36Updated 2 years ago
- Adaptive Radix Tree in OCaml☆48Updated last month
- Infrastructure to collect metrics from OCaml applications.☆46Updated last year
- Lwt-enabled distributed computing library☆41Updated last year
- Memthol is a visualizer for memory profiling data generated from OCaml programs.☆28Updated last year
- Lock-free Sets and Maps for OCaml multicore☆31Updated 2 years ago
- A simple app to test out irmin and dream☆18Updated 2 years ago
- LexiFi runtime types☆33Updated 3 years ago
- Result value combinators for OCaml☆37Updated 10 months ago
- Ocaml bindings for lmdb.☆48Updated last year
- Commodity thread pools and concurrency primitives for OCaml 5☆54Updated last week
- Relational database programming for OCaml (unreleased)☆40Updated last month
- ☆32Updated last year
- Implementation of a matrix server in OCaml for MirageOS☆49Updated last year
- Efficient caching library for OCaml☆34Updated 11 months ago
- Yet another type combinator library☆54Updated 2 years ago
- Paste-eur as unikernel☆65Updated 2 months ago
- Bigstring intrinsics and fast blits based on memcpy/memmove☆38Updated 2 months ago
- Functional Priority Search Queues for OCaml☆53Updated 5 months ago
- A simple state-machine framework for OCaml based on QCheck☆63Updated 2 years ago
- OCaml bit vector library☆33Updated 4 months ago
- Memory-efficient data structures in OCaml☆39Updated 2 years ago
- OCaml behind the scenes: exceptions☆30Updated 11 months ago
- ☆22Updated 3 years ago
- Unicode character properties for OCaml☆20Updated last week
- ☆52Updated 3 years ago
- OCaml PPX deriver for reflection☆50Updated last year