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
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆34Updated 6 years ago
- miniKanren in OCaml☆31Updated last year
- nanomsg bindings for ocaml☆38Updated 4 years ago
- Raspberry Pi boot support for the OCaml system (unreleased)☆55Updated 5 months ago
- OCaml bindings for clang☆23Updated 6 years ago
- LLVM JIT Cycle Accurate Simulator for HardCaml☆13Updated 7 years ago
- Verification tools for HardCaml☆10Updated 6 years ago
- An OCaml bytecode to LLVM compiler☆43Updated 7 years ago
- HardCaml implementation of the OCaml ZINC Abstract Machine☆44Updated 5 years ago
- HardCaml example designs☆18Updated 6 years ago
- Binding to libsodium 1.0.9+, a shared library wrapper for djb's NaCl☆57Updated 4 years ago
- RISC-V port of the OCaml system☆43Updated 4 years ago
- obigstore: database with BigTable-like data model atop LevelDB☆43Updated 7 years ago
- Embed typed ASN.1 grammars in OCaml☆36Updated 3 months ago
- OCaml record fields as first class values☆21Updated 6 months ago
- Pure OCaml library to read and write tar files☆56Updated 2 weeks ago
- Thin OCaml bindings to various low-level system APIs not covered by Unix module☆54Updated last week
- An intensely interactive, graphical theorem prover based on natural deduction☆29Updated 10 years ago
- Pure OCaml implementation of the "vchan" shared-memory communication protocol☆45Updated 2 weeks ago
- An OCaml implementation of the FUSE protocol versions 7.8 and 7.23☆30Updated 7 years ago
- ☆38Updated 8 years ago
- literate programming meets unison☆27Updated 10 months ago
- ☆38Updated 5 years ago
- An absurdly tiny Lisp interpreter in OCaml☆31Updated 13 years ago
- Ropes ("heavyweight strings") for OCaml☆49Updated 7 months ago
- Map OCaml arrays onto C-like structs☆107Updated 2 weeks ago
- Algorithms to layout trees in a pretty manner.☆36Updated 3 years ago
- Functional kernel written in OCaml.☆32Updated 11 years ago
- Bisector tree implementation in OCaml☆25Updated 11 months ago
- A DSL to invoke otherworldly functors☆62Updated 2 years ago