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
-
OCaml MirageOS? https://mirage.io/
-
Project 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/
-
InfluxDB
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.
-
-
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?
- Is running OpenBSD inside a QUBE as a router/firewall an interesting and good idea?
- MirageOS: A programming framework for building type-safe, modular systems
- What advantages does applying type-safety to OS give?
- Crash-Only Software and Recursive Microreboots
- MirageOS v4.0.0 published: self-managed internet infrastructure with unikernels
- MirageOS 3.0.0
-
A note from our sponsor - SonarQube
www.sonarqube.org | 28 Jan 2023
Index
What are some of the best open-source Unikernel projects in OCaml? This list will help you:
Project | Stars | |
---|---|---|
1 | mirage | 2,062 |
2 | qubes-mirage-firewall | 186 |
3 | openvpn | 47 |
4 | unikernels | 41 |