mrvn / ocaml-rpi
Exokernel to run ocaml baremetal on the Raspberry Pi
☆41Updated 10 years ago
Alternatives and similar repositories for ocaml-rpi:
Users that are interested in ocaml-rpi are comparing it to the libraries listed below
- HardCaml example designs☆18Updated 6 years ago
- Raspberry Pi boot support for the OCaml system (unreleased)☆55Updated 3 months ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆34Updated 6 years ago
- RISC-V port of the OCaml system☆43Updated 4 years ago
- Embed typed ASN.1 grammars in OCaml☆36Updated last month
- Pure OCaml library to read and write tar files☆56Updated last week
- An absurdly tiny Lisp interpreter in OCaml☆30Updated 13 years ago
- Ropes ("heavyweight strings") for OCaml☆49Updated 6 months ago
- OCaml bindings for clang☆23Updated 6 years ago
- miniKanren in OCaml☆31Updated last year
- An OCaml/Mirage-friendly implementation of the 9P protocol☆64Updated 2 years ago
- LLVM JIT Cycle Accurate Simulator for HardCaml☆13Updated 7 years ago
- ☆38Updated 8 years ago
- A B-Tree implementation in OCaml☆23Updated 8 years ago
- HardCaml implementation of the OCaml ZINC Abstract Machine☆44Updated 5 years ago
- S-expression swiss knife☆44Updated 2 months ago
- Verification tools for HardCaml☆10Updated 6 years ago
- Thin OCaml bindings to various low-level system APIs not covered by Unix module☆52Updated last month
- A DSL to invoke otherworldly functors☆62Updated 2 years ago
- Resilient replicant Shell Programming Library☆37Updated 7 years ago
- Microsite for the MirageOS hack retreats☆13Updated 3 months ago
- nanomsg bindings for ocaml☆38Updated 4 years ago
- ☆38Updated 5 years ago
- Freestanding OCaml runtime☆103Updated last month
- Lwt-compatible IMAP4rev1 client library for OCaml☆40Updated 4 years ago
- OCaml rewrite of the ixy network driver☆36Updated 3 years ago
- Binding to libsodium 1.0.9+, a shared library wrapper for djb's NaCl☆57Updated 4 years ago
- Inspection of internal value representations and the object graph☆33Updated 8 years ago
- Light library to deal with RPCs in OCaml☆96Updated 4 months ago
- Map OCaml arrays onto C-like structs☆106Updated last year