mirageos

Open-source projects categorized as mirageos
Edit details
Language: + OCaml + C
Topics: Unikernel Ocaml KVM rumprun Letsencrypt
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

Top 7 mirageo Open-Source Projects

  • mirage

    MirageOS is a library operating system that constructs unikernels

    • Project mention: Gokrazy – Go Appliances | news.ycombinator.com | 2023-12-18

    Interesting, and thanks.

    I didn't know about those. I kind of thought you may have used MirageOS, which I had read about earlier. It is done in OCaml.

    https://mirage.io/

  • solo5

    A sandboxed execution environment for unikernels

    • Project mention: Mirage – A programming framework for building type-safe, modular systems | news.ycombinator.com | 2023-11-23

    What you already can do is attaching gdb -- either live or at a core dump. Please see https://github.com/Solo5/solo5/blob/master/docs/debugging.md for detailed instructions ;)

    What you as well can do is record-replay -- well, at least there used to be this option, I'm now lost whether it has never been merged anywhere, or it is stuck in some PR somewhere. This was truly great - since the external interface is so thin, it is easily doable to dump all external events (API calls and returns) onto disk and replay one-by-one, inspecting the state.

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo

  • qubes-mirage-firewall

    A Mirage firewall VM for QubesOS

  • awesome-unikernels

    A list about Unikernels

  • miragevpn

    An opinionated implementation of the OpenVPN protocol

  • unikernels

    MirageOS unikernels (by robur-coop)

  • prometheus

    OCaml library for reporting metrics to a Prometheus server (by mirage)

  • SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

mirageos related posts

  • Mirage – A programming framework for building type-safe, modular systems

    1 project | /r/patient_hackernews | 26 Nov 2023

  • Mirage – A programming framework for building type-safe, modular systems

    10 projects | news.ycombinator.com | 23 Nov 2023

  • What's Zig got that C, Rust and Go don't have? [video]

    4 projects | news.ycombinator.com | 21 Nov 2023

  • PostgreSQL reconsiders its process-based model

    5 projects | news.ycombinator.com | 19 Jun 2023

  • Writing an OS in Rust to run on RISC-V

    8 projects | news.ycombinator.com | 1 Mar 2023

  • Container runtime as a static binary?

    4 projects | /r/linux | 21 Jan 2023

  • Is running OpenBSD inside a QUBE as a router/firewall an interesting and good idea?

    1 project | /r/openbsd | 18 Jan 2023
  • A note from our sponsor - SaaSHub
    www.saashub.com | 16 May 2024
    SaaSHub helps you find the best software and product alternatives Learn more →

Index

What are some of the best open-source mirageo projects? This list will help you:

Project Stars
1 mirage 2,435
2 solo5 876
3 qubes-mirage-firewall 201
4 awesome-unikernels 105
5 miragevpn 70
6 unikernels 49
7 prometheus 48

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com