mirage / ocaml-solo5
Freestanding OCaml runtime
☆100Updated this week
Related projects ⓘ
Alternatives and complementary repositories for ocaml-solo5
- An OCaml/Mirage-friendly implementation of the 9P protocol☆64Updated 2 years ago
- Raspberry Pi boot support for the OCaml system (unreleased)☆55Updated last month
- [Deprecated see github.com/janestreet/hardcaml] Register Transfer Level Hardware Design in OCaml☆119Updated 3 years ago
- Purely functional SSH library in ocaml.☆103Updated 2 months ago
- Binding to libsodium 1.0.9+, a shared library wrapper for djb's NaCl☆57Updated 3 years ago
- A DSL to invoke otherworldly functors☆62Updated 2 years ago
- A git-blogging unikernel written using MirageOS☆120Updated last year
- Map OCaml arrays onto C-like structs☆106Updated last year
- (mirror) A vector graphics renderer like NanoVG in OCaml☆78Updated 7 months ago
- Paste-eur as unikernel☆64Updated 4 months ago
- OCaml implementation of the DNS protocol☆105Updated 2 weeks ago
- MLton with Realtime GC and Threading features☆103Updated 8 months ago
- Pure OCaml implementation of Zlib.☆115Updated 10 months ago
- Nanopass for OCaml☆141Updated 6 years ago
- Thin OCaml bindings to various low-level system APIs not covered by Unix module☆51Updated 3 months ago
- Experiment on how to bootstrap the OCaml compiler☆98Updated 2 years ago
- A benchmark suite for the OCaml compiler☆82Updated 2 months ago
- A DHCP library in OCaml☆55Updated last week
- TLS in pure OCaml☆304Updated 3 weeks ago
- Automated S-expression conversion☆147Updated last week
- An embeddable Lua 2.5 interpreter implemented in OCaml☆124Updated last year
- Dereference URIs into communication channels for Async or Lwt☆83Updated last month
- OCaml cryptographic library☆111Updated 4 years ago
- Reagents for multicore OCaml☆125Updated last year
- Simple hash algorithms in OCaml☆87Updated 7 months ago
- RISC-V port of the OCaml system☆43Updated 4 years ago
- Detect common errors in OCaml code☆68Updated 6 years ago
- HardCaml implementation of the OCaml ZINC Abstract Machine☆43Updated 4 years ago
- Binary protocol generator☆73Updated last week
- A multi-process daemon framework for OCaml☆51Updated 5 years ago