mrvn / ocaml-rpiLinks
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
Sorting:
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆35Updated 6 years ago
- Raspberry Pi boot support for the OCaml system (unreleased)☆56Updated 7 months ago
- HardCaml example designs☆18Updated 6 years ago
- nanomsg bindings for ocaml☆38Updated 4 years ago
- miniKanren in OCaml☆31Updated 2 years ago
- Pure OCaml library to read and write tar files☆56Updated 2 months ago
- OCaml record fields as first class values☆21Updated last month
- OCaml asynchronous scheduler and monad for server-oriented programming.☆16Updated last month
- An OCaml library for describing Protobuf messages☆30Updated 4 years ago
- LLVM JIT Cycle Accurate Simulator for HardCaml☆13Updated 8 years ago
- [dead] combinators for type conversion (serialization/deserialization) to/from several formats. See this blog post (outdated): http://ced…☆27Updated 6 years ago
- Verification tools for HardCaml☆10Updated 6 years ago
- Distributed computing library☆35Updated 6 years ago
- Ropes ("heavyweight strings") for OCaml☆49Updated 10 months ago
- Algorithms to layout trees in a pretty manner.☆36Updated 3 years ago
- HardCaml implementation of the OCaml ZINC Abstract Machine☆44Updated 5 years ago
- OCaml bindings for Google's LevelDB☆44Updated 3 years ago
- Embed typed ASN.1 grammars in OCaml☆36Updated 5 months ago
- OCaml BitTorrent library and client☆40Updated 2 years ago
- Functional kernel written in OCaml.☆32Updated 11 years ago
- RISC-V port of the OCaml system☆43Updated 4 years ago
- ☆38Updated 5 years ago
- Lwt-compatible IMAP4rev1 client library for OCaml☆40Updated 4 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆32Updated 6 years ago
- A DSL to invoke otherworldly functors☆62Updated 2 years ago
- Map OCaml arrays onto C-like structs☆108Updated 2 months ago
- MLton for scalable multicore architectures☆57Updated 11 years ago
- ☆38Updated 9 years ago
- ☆26Updated 12 years ago
- Thin OCaml bindings to various low-level system APIs not covered by Unix module☆54Updated 2 months ago