cfcs / mirage-framebuffer
Experimental portable bitmap framebuffer graphics for MirageOS
☆18Updated 4 years ago
Related projects: ⓘ
- Efficient Bloom filters for OCaml☆36Updated 2 years ago
- WiP image viewer using MirageOS☆18Updated 5 years ago
- A simple implementation of Discrete Interval Encoding Trees☆28Updated 2 years ago
- J'ai plus mal à la tête maintenant☆27Updated 2 weeks ago
- line based patch, input is a unified diff☆20Updated 5 months ago
- Lookup and load installed OCaml modules☆16Updated 4 months ago
- Dissect OCaml compiled programs, and weight their content☆25Updated last year
- OCaml parser for RFC 3164 Syslog messages☆24Updated last year
- Scrypt key derivation function in pure OCaml as defined in https://tools.ietf.org/html/draft-josefsson-scrypt-kdf-04☆17Updated 3 years ago
- Curve25519 in OCaml.☆16Updated 6 years ago
- Result value combinators for OCaml☆37Updated 10 months ago
- Painless micro-benchmarks☆20Updated 5 years ago
- Basic password manager library and command-line application in OCaml☆12Updated 6 years ago
- A port of Eric Lippert's flathead Z-machine interpreter to MirageOS☆11Updated 4 years ago
- A unikernel as an IRC client☆24Updated last year
- Some sample unikernels that run on ESP32 devices.☆13Updated 6 years ago
- ☆21Updated last year
- ☆32Updated 2 weeks ago
- IRC protocol in OCaml☆25Updated last year
- automatic ci configuration for the people☆35Updated 4 years ago
- Parsing of the Content-Type header in pure OCaml☆20Updated 3 years ago
- ☆11Updated 8 years ago
- ☆20Updated 5 years ago
- Helpers for using topkg with jbuilder☆16Updated 6 years ago
- collect activity and format as markdown for a journal☆18Updated 3 years ago
- Trivial/Tagless Polytypic Functions☆23Updated 4 years ago
- Io multiplexers bindings for ocaml (poll/kqueue/epoll and so on)☆28Updated last month
- Medium weight threads - preemptive thread pools for Lwt☆31Updated 3 years ago
- Define and generate file and directory carcasses (unreleased)☆16Updated 4 years ago
- Map à la Binary Radix Tree☆20Updated 2 years ago