A programming framework for building type-safe, modular systems. MirageOS is a library operating system that constructs unikernels for secure, high-performance network applications across a variety of cloud computing and mobile platforms. Code can be developed on a normal OS such as Linux or macOS, and then compiled into a fully standalone, specialized unikernel that runs under a Xen or KVM hypervisor. This lets your services run more efficiently, securely and with finer control than with a full conventional software stack.

Features

  • MirageOS applications take a few milliseconds to start-up instead of the few minutes that traditional OSes take
  • MirageOS binaries are self-contained: they do not need an additional OS to execute
  • Documentation available
  • MirageOS applications use a few megabytes of memory
  • MirageOS applications are written in OCaml, an industrial strength programming language supporting functional, imperative and object-oriented styles
  • The size of MirageOS binary is usually a few megabytes
  • Examples available

Project Samples

Project Activity

See All Activity >

Categories

Libraries

License

ISC License

Follow MirageOS

MirageOS Web Site

You Might Also Like
Gen AI apps are built with MongoDB Atlas Icon
Gen AI apps are built with MongoDB Atlas

The database for AI-powered applications.

MongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.
Start Free
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of MirageOS!

Additional Project Details

Programming Language

OCaml (Objective Caml)

Related Categories

OCaml (Objective Caml) Libraries

Registered

2024-06-21