mirage / ocaml-solo5Links
Freestanding OCaml runtime
☆107Updated this week
Alternatives and similar repositories for ocaml-solo5
Users that are interested in ocaml-solo5 are comparing it to the libraries listed below
Sorting:
- An OCaml/Mirage-friendly implementation of the 9P protocol☆67Updated 2 months ago
- [Deprecated see github.com/janestreet/hardcaml] Register Transfer Level Hardware Design in OCaml☆119Updated 4 years ago
- Purely functional SSH library in ocaml.☆104Updated 5 months ago
- Raspberry Pi boot support for the OCaml system (unreleased)☆56Updated last year
- RISC-V port of the OCaml system☆44Updated 5 years ago
- OCaml implementation of the DNS protocol☆109Updated last month
- Map OCaml arrays onto C-like structs☆113Updated 8 months ago
- SMTP client and server☆48Updated last month
- A git-blogging unikernel written using MirageOS☆119Updated 2 years ago
- kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)☆24Updated last year
- Binding to libsodium 1.0.9+, a shared library wrapper for djb's NaCl☆56Updated 4 years ago
- Nanopass for OCaml☆148Updated 7 years ago
- Experiment on how to bootstrap the OCaml compiler☆111Updated 3 years ago
- HardCaml implementation of the OCaml ZINC Abstract Machine☆45Updated 5 years ago
- TLS in pure OCaml☆317Updated last month
- OCaml 4.02 cross compiler for the rumprun unikernel stack☆50Updated 9 years ago
- OCaml cryptographic library☆111Updated 5 years ago
- Make OCaml native debugging awesome☆31Updated 5 years ago
- Jane Street Capital's asynchronous execution library (core)☆57Updated last week
- A DHCP library in OCaml☆56Updated last month
- Reagents for multicore OCaml☆126Updated 2 years ago
- OPAM repo for OCaml multicore development☆51Updated 3 years ago
- An embeddable Lua 2.5 interpreter implemented in OCaml☆130Updated 8 months ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆33Updated 7 years ago
- ☆40Updated 9 years ago
- OCaml bytecode to C compiler☆103Updated 5 years ago
- Plan9 software ported to OCaml☆35Updated this week
- Binary protocol generator☆87Updated last week
- A DSL to invoke otherworldly functors☆63Updated 3 years ago
- Pure OCaml implementation of Zlib.☆118Updated 10 months ago