mirage / ocaml-solo5Links
Freestanding OCaml runtime
☆105Updated last month
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 3 weeks ago
- [Deprecated see github.com/janestreet/hardcaml] Register Transfer Level Hardware Design in OCaml☆119Updated 4 years ago
- Purely functional SSH library in ocaml.☆103Updated 3 months ago
- Raspberry Pi boot support for the OCaml system (unreleased)☆57Updated 10 months ago
- OCaml implementation of the DNS protocol☆109Updated last month
- Map OCaml arrays onto C-like structs☆112Updated 6 months ago
- RISC-V port of the OCaml system☆43Updated 5 years ago
- SMTP client and server☆47Updated 3 weeks ago
- Nanopass for OCaml☆147Updated 7 years ago
- Binding to libsodium 1.0.9+, a shared library wrapper for djb's NaCl☆57Updated 4 years ago
- A DHCP library in OCaml☆56Updated 2 weeks ago
- A git-blogging unikernel written using MirageOS☆121Updated last year
- OCaml 4.02 cross compiler for the rumprun unikernel stack☆50Updated 9 years ago
- Experiment on how to bootstrap the OCaml compiler☆108Updated 3 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆34Updated 6 years ago
- An embeddable Lua 2.5 interpreter implemented in OCaml☆127Updated 6 months ago
- HardCaml implementation of the OCaml ZINC Abstract Machine☆45Updated 5 years ago
- kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)☆24Updated last year
- OCaml cryptographic library☆111Updated 5 years ago
- Reagents for multicore OCaml☆126Updated 2 years ago
- MLton with Realtime GC and Threading features☆103Updated last year
- Make OCaml native debugging awesome☆32Updated 5 years ago
- Jane Street Capital's asynchronous execution library (core)☆57Updated 3 weeks ago
- A variant of OCaml's native code compiler ocamlopt using LLVM in the back-end for optimization and code generation. Warning: Binaries pr…☆55Updated 13 years ago
- Paste-eur as unikernel☆65Updated 6 months ago
- Typed Regular Expressions☆178Updated last week
- Caml-Shcaml: An Ocaml library for Unix shell programming☆68Updated 6 years ago
- TLS in pure OCaml☆317Updated 3 weeks ago
- Plan9 software ported to OCaml☆34Updated this week
- OPAM repo for OCaml multicore development☆51Updated 3 years ago