vult VS mirage

Compare vult vs mirage and see what are their differences.

vult

Vult is a transcompiler well suited to write high-performance DSP code (by vult-dsp)

mirage

MirageOS is a library operating system that constructs unikernels (by mirage)
Our great sponsors
  • Scout APM - Less time debugging, more time building
  • SonarQube - Static code analysis for 29 languages.
  • SaaSHub - Software Alternatives and Reviews
vult mirage
1 16
326 1,868
1.2% 2.8%
5.9 8.6
15 days ago 14 days ago
OCaml OCaml
GNU General Public License v3.0 or later ISC License
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.

vult

Posts with mentions or reviews of vult. We have used some of these posts to build our list of alternatives and similar projects.

mirage

Posts with mentions or reviews of mirage. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-03-26.
  • What advantages does applying type-safety to OS give?
    1 project | reddit.com/r/osdev | 9 Apr 2022
    I've been reading about operating systems implemented in type-safe languages like Haskell or OCaml or Rust (this paper for Haskell, and mirage OS for OCaml). Of the numerous advantages Haskell or OCaml may bring to systems programming, what are the demonstrated advantages of having a type-safe kernel? What's driving the interest in this field of research?
  • Crash-Only Software and Recursive Microreboots
    1 project | news.ycombinator.com | 29 Mar 2022
  • We Need Lisp Machines
    4 projects | news.ycombinator.com | 26 Mar 2022
    The Lisp machine of today is MirageOS: https://mirage.io/

    A unikernel that throws out the legacy of Unix and starts fresh to build a library operating system, it's exactly what OP describes:

    > With lisp machines, we can cut out the complicated multi-language, multi library mess from the stack, eliminate memory leaks and questions of type safety, binary exploits, and millions of lines of sheer complexity that clog up modern computers.

    Even better, Mirage is programmed in OCaml, which is basically a statically-typed facade over Lisp (or Scheme). That's the modern Lisp machine of today. It even takes care of security nightmares like this:

    > Everything worked in a single address space, programs could talk to each other in ways operating systems of today couldn’t dream of.

    Because in the Mirage model is program is a separate OS image and they can communicate only over defined service interfaces.

  • MirageOS 3.0.0
    2 projects | news.ycombinator.com | 11 Feb 2022
    200 ok for me, now.

    TFA also links to release notes: https://github.com/mirage/mirage/releases/tag/v3.0.0

  • The one and only..
    6 projects | reddit.com/r/ProgrammerHumor | 16 Jan 2022
    No mention of https://mirage.io/ yet
  • Tokio Console
    11 projects | news.ycombinator.com | 17 Dec 2021
    Unikernels are a thing e.g. https://mirage.io. AFIACT uptake has been ... slow. You give up a lot to erase most or all of your OS, and only the most performance sensitive applications realize a benefit
  • Mu: A Human-Scale Computer
    4 projects | news.ycombinator.com | 8 Dec 2021
    From my skim of the README this sounds like (in part) a system for generating unikernels, is that correct?

    Would anybody like to compare/contrast this with https://mirage.io/?

  • writing kernel in haskell or ocaml.
    1 project | reddit.com/r/osdev | 26 Oct 2021
    The main example of which is probably MirageOS
  • Best Lisp(s) for Functional & (seperately) Systems programming?
    8 projects | reddit.com/r/lisp | 7 Sep 2021
    That's a somewhat outdated view, computers are fast enough now that you can do about anything fine with a garbage-collected FP language. Moreso if you're willing to get a bit dirty with it and do some tricks to optimise allocations and limit GC usage. For example, my understanding is that OCaml manages pretty well in this space overall; well enough that Jane Street uses it for financial software (which is time-sensitive) and the Mirage unikernel is made with it.
    8 projects | reddit.com/r/lisp | 7 Sep 2021
    Very bold claims and I'm start I ng to agree with you but. First of all I don't understand what you mean by saying that OSs shouldn't exist and linking to smalltalk referencing made for "communication" and if there is no OS how would we even use our computer. Also TBH I don't think an OS written in Common Lisp or Haskell) or OCaml or any other high level language could run as fast as an OS written on C and Assembly. Even Rust would perform better. Even if it could perform on par with C, the level of optimization would make it more difficult to handle code. Also yes I am that annoying game dev too (kinda).

What are some alternatives?

When comparing vult and mirage you can also consider the following projects:

unikraft - Unikraft is an automated system for building specialized OSes known as unikernels. Unikraft can be configured to be POSIX-compliant. (Core repository)

Lupine-Linux - Linux in Unikernel Clothing

linuxkit - A toolkit for building secure, portable and lean operating systems for containers

Carp - A statically typed lisp, without a GC, for real-time applications.

tracing - Application level tracing for Rust.

oberon-riscv - Oberon RISC-V port, based on Samuel Falvo's RISC-V compiler and Peter de Wachter's Project Norebo. Part of an academic project to evaluate Project Oberon on RISC-V.

opam - opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

lib-python3 - Unikraft port of Python 3

sb-simd - A convenient SIMD interface for SBCL.

ocamlformat - Auto-formatter for OCaml code

gopher-os - A proof of concept OS kernel written in Go

MBuild - Build system for Mezzano