Hacker News
- Mirage – A programming framework for building type-safe, modular systems https://mirage.io/ 88 comments
- Mirage OS https://mirage.io 2 comments
- Mirage – A programming framework for building type-safe, modular systems https://mirage.io/ 2 comments programming
Linking pages
- Unikernels are secure. Here is why. | Unikernels http://unikernel.org/blog/2017/unikernels-are-secure 166 comments
- The search for the killer app of unikernels | Unikernels http://unikernel.org/blog/2017/the-search-for-the-killer-app-of-unikernels 123 comments
- Docker Acquires Unikernel Systems As It Looks Beyond Containers | TechCrunch http://techcrunch.com/2016/01/21/docker-acquires-unikernel-systems-as-it-looks-beyond-containers/ 119 comments
- GitHub - seeker89/unikernels: State of the art for unikernels https://github.com/seeker89/unikernels 68 comments
- tihle: a unique TI calculator emulator | ã¿ãª https://www.taricorp.net/2020/introducing-tihle/ 57 comments
- Hack for backward compatibility | OCaml vs Haskell https://blog.regnat.ovh/posts/ocaml-vs-haskell/ 50 comments
- A Unikernel Firewall for QubesOS - Thomas Leonard's blog http://roscidus.com/blog/blog/2016/01/01/a-unikernel-firewall-for-qubesos/ 41 comments
- GitHub - dysinger/restack: Full Stack ReasonML Tutorials https://github.com/dysinger/restack/#restack-full-stack-reasonml 36 comments
- runtime.js — JavaScript library OS | by Serge | Medium https://medium.com/@iefserge/runtime-js-javascript-library-os-823ada1cc3c 30 comments
- GitHub - solo-io/unik: The Unikernel & MicroVM Compilation and Deployment Platform https://github.com/emc-advanced-dev/unik 19 comments
- NFV Platforms with MirageOS Unikernels | Unikernels http://unikernel.org/blog/2016/unikernel-nfv-platform 17 comments
- Configuration files suck.. Just use a programming language. | by James Fisher | HackerNoon.com | Medium https://medium.com/@MrJamesFisher/configuration-files-suck-6daa9812f601#.166rdajdv 16 comments
- BuckleScript: The 1.0 release has arrived! | Bloomberg LP https://www.techatbloomberg.com/blog/bucklescript-1-0-release-arrived/ 10 comments
- GitHub - anmonteiro/ocaml-h2: An HTTP/2 implementation written in pure OCaml https://github.com/anmonteiro/http2af 7 comments
- Release 1.7 and the story behind BuckleScript | Bloomberg LP https://www.techatbloomberg.com/blog/release-1-7-story-behind-bucklescript/ 6 comments
- Just-in-Time Summoning of Unikernels (v0.2) http://www.skjegstad.com/blog/2015/08/17/jitsu-v02/ 5 comments
- GitHub - mirage/ocaml-cohttp: An OCaml library for HTTP clients and servers using Lwt or Async https://github.com/mirage/ocaml-cohttp 5 comments
- GitHub - solo-io/unik: The Unikernel & MicroVM Compilation and Deployment Platform https://github.com/cf-unik/unik 4 comments
- The coming era of OS kernel modularity - DEV Community 👩💻👨💻 https://dev.to/yonkeltron/the-coming-era-of-os-kernel-modularity-5emc 3 comments
- Playing with Caml Light on DOS | Frederic Cambus https://www.cambus.net/playing-with-caml-light-on-dos/ 3 comments
Related searches:
Search whole site: site:mirage.io
Search title: Welcome to MirageOS
See how to search.