Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free. Learn more →
Top 4 OCaml Unikernel Projects
MirageOS is a library operating system that constructs unikernelsProject mention: Container runtime as a static binary? | reddit.com/r/linux | 2023-01-21
OCaml MirageOS? https://mirage.io/
A Mirage firewall VM for QubesOSProject mention: Is running OpenBSD inside a QUBE as a router/firewall an interesting and good idea? | reddit.com/r/openbsd | 2023-01-18
2) https://github.com/mirage/qubes-mirage-firewall is by far a better firewall for Qubes than OpenBSD ever will be - unikernels are far more secure than a traditional operating system is and you can read all about it on https://mirageos.org/
Build time-series-based applications quickly and at scale.. InfluxDB is the Time Series Platform where developers build real-time applications for analytics, IoT and cloud-native services. Easy to start, it is available in the cloud or on-premises.
An opinionated implementation of the OpenVPN protocol (by roburio)
MirageOS unikernels (by roburio)Project mention: MirageOS v4.0.0 published: self-managed internet infrastructure with unikernels | news.ycombinator.com | 2022-03-29
Just substitute 'microservice' with 'unikernel' and you do broadly the same things. There's a prometheus library that you link with the MirageOS unikernel and it exports using that: https://github.com/mirage/prometheus
No FAQ for this sort of thing yet, but we should start assembling one sometime soon. Questions like this very welcome on the discussion forums: https://discuss.ocaml.org/t/ann-mirageos-4-0/9598 to help us get started.
There's a nice collection of unikernels over at: https://github.com/roburio/unikernels and https://github.com/tarides/unikernels for various infrastructure pieces (like https, smtp, dns, ip filters, etc) that are good to crib from for your own infrastructure.
OCaml Unikernel related posts
Container runtime as a static binary?
4 projects | reddit.com/r/linux | 21 Jan 2023
Is running OpenBSD inside a QUBE as a router/firewall an interesting and good idea?
1 project | reddit.com/r/openbsd | 18 Jan 2023
MirageOS: A programming framework for building type-safe, modular systems
1 project | news.ycombinator.com | 12 Jun 2022
What advantages does applying type-safety to OS give?
1 project | reddit.com/r/osdev | 9 Apr 2022
Crash-Only Software and Recursive Microreboots
1 project | news.ycombinator.com | 29 Mar 2022
MirageOS v4.0.0 published: self-managed internet infrastructure with unikernels
4 projects | news.ycombinator.com | 29 Mar 2022
2 projects | news.ycombinator.com | 11 Feb 2022
A note from our sponsor - SonarQube
www.sonarqube.org | 28 Jan 2023
What are some of the best open-source Unikernel projects in OCaml? This list will help you: