dbuenzli / rpi-boot-ocaml
Raspberry Pi boot support for the OCaml system (unreleased)
☆55Updated 5 months ago
Alternatives and similar repositories for rpi-boot-ocaml:
Users that are interested in rpi-boot-ocaml are comparing it to the libraries listed below
- HardCaml implementation of the OCaml ZINC Abstract Machine☆44Updated 5 years ago
- Paste-eur as unikernel☆65Updated last month
- Thin OCaml bindings to various low-level system APIs not covered by Unix module☆54Updated last month
- MessagePack implementation for OCaml / msgpack.org[OCaml]☆45Updated 2 years ago
- Yet another type combinator library☆54Updated 3 years ago
- Relational programming for OCaml (unreleased)☆25Updated 2 years ago
- Bindings to the various POSIX APIs☆27Updated 2 months ago
- Declarative 2D vector graphics for OCaml☆94Updated 3 months ago
- Functional Priority Search Queues for OCaml☆53Updated last year
- A session manager for your everyday needs☆43Updated 2 years ago
- Bigstring intrinsics and fast blits based on memcpy/memmove☆39Updated 9 months ago
- Implementation of SMTP protocols in OCaml☆44Updated 2 weeks ago
- Pure OCaml library to read and write tar files☆56Updated last month
- Simple hash algorithms in OCaml☆89Updated 3 months ago
- Basic types for computer graphics in OCaml☆41Updated last month
- Efficient Bloom filters for OCaml☆37Updated 3 years ago
- Ropes ("heavyweight strings") for OCaml☆49Updated 8 months ago
- Map OCaml arrays onto C-like structs☆107Updated last month
- Resilient replicant Shell Programming Library☆37Updated 7 years ago
- Declarative events and signals for OCaml☆50Updated last year
- A B-Tree implementation in OCaml☆23Updated 8 years ago
- Misc algorithms in OCaml (HyperLogLog, jump consistent hashing)☆67Updated 9 months ago
- OCamlOScope 2 : OCaml API search☆43Updated 7 years ago
- An easy interface on top of the Irmin library.☆45Updated 4 years ago
- A dumb OCaml logger☆37Updated last year
- OCaml with typed algebraic effects☆49Updated 6 years ago
- Ocaml bindings for lmdb.☆47Updated 2 months ago
- Inspection of internal value representations and the object graph☆33Updated 8 years ago
- A simple implementation of Discrete Interval Encoding Trees☆28Updated 3 years ago
- ☆21Updated last year