These are the MirageOS slide decks, written as a self-hosting unikernel
☆13Nov 3, 2017Updated 8 years ago
Alternatives and similar repositories for mirage-decks
Users that are interested in mirage-decks are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Packer templates for FreeBSD 10.0☆16Sep 22, 2015Updated 10 years ago
- An implementation of Brodal-Okasaki heap using Go.☆26Aug 30, 2015Updated 10 years ago
- Generate maps for conversions from spherical to equirectangular video in ffmpeg☆15Jan 9, 2019Updated 7 years ago
- Identify relevant scientific papers with simple machine learning techniques☆27Jun 5, 2015Updated 11 years ago
- Moana implementation in OCaml☆16Jul 15, 2015Updated 11 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Cylon adaptor/driver for the Octoblu machine to machine messaging system☆23Feb 25, 2016Updated 10 years ago
- OCaml ppx preprocessor to generate SQLite3 prepared statements and query functions☆12Nov 17, 2015Updated 10 years ago
- awesome-unikernels☆15May 21, 2015Updated 11 years ago
- modal keybindings to give vim-like navigation for anything with a cursor☆13Jan 2, 2018Updated 8 years ago
- iperf like tool on MirageOS☆11May 27, 2026Updated 2 months ago
- This plugin will add parameters to your cloudformation template, making it easier to deploy a template manually, or use it as a subtempla…☆14Nov 3, 2020Updated 5 years ago
- Framework for rapid development of Ansible modules in Haskell programming language.☆14Aug 20, 2022Updated 3 years ago
- Fast, simple Free Monads using ScalaMeta macro annotations. Port of Freasy-Monad.☆14Oct 16, 2017Updated 8 years ago
- Serverless setup using node.js☆14Jun 8, 2021Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Acceptance testing framework for CLI applications☆10Nov 16, 2015Updated 10 years ago
- Minimal Presentation Software for the CLI☆29Jan 3, 2019Updated 7 years ago
- WIP Handbook for MirageOS☆14Mar 15, 2018Updated 8 years ago
- code for UniK Hub backend☆10Aug 22, 2016Updated 9 years ago
- Over-SSH onboarding☆12Aug 2, 2016Updated 9 years ago
- Security-Oriented Analysis of Application Programs☆13Dec 14, 2018Updated 7 years ago
- PREVIEW - Run Bonobo data processing graphs in docker containers.☆13Dec 8, 2022Updated 3 years ago
- OCaml 4.02 cross compiler for the rumprun unikernel stack☆51Dec 8, 2015Updated 10 years ago
- Simple memory benchmarking of Intel SGX☆12Aug 22, 2016Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- CanvasMap is a simple HTML framework to experiment with projection equations.☆19Aug 11, 2017Updated 8 years ago
- Identify outdated dependencies for Clojure repo☆20Jun 18, 2026Updated last month
- Haskell bot for HipChat☆10Aug 8, 2016Updated 9 years ago
- Ctypes bindings to flock(2) for OCaml☆14Mar 7, 2024Updated 2 years ago
- ☆19May 24, 2017Updated 9 years ago
- 4K Images☆15Nov 29, 2015Updated 10 years ago
- A flake implementation for Rust☆10May 17, 2016Updated 10 years ago
- A restify/expressjs like interface for aws lamda with api gateway event☆10Aug 10, 2018Updated 7 years ago
- url shortener☆10Dec 3, 2019Updated 6 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Listen to a Redis PubSub chanhel and then rebroadcast over WebSockets.☆12Jun 23, 2016Updated 10 years ago
- Curated list of `Code of Conduct`☆13Aug 31, 2020Updated 5 years ago
- ☆12Apr 2, 2017Updated 9 years ago
- Qt client for Lichat☆12May 17, 2026Updated 2 months ago
- ☆13Dec 20, 2018Updated 7 years ago
- The Doodle case study supplement to Essential Scala☆17Jan 29, 2018Updated 8 years ago
- Serverless plugin: Reduce Node.js lambda package so it contains only lambda dependencies☆14Nov 23, 2022Updated 3 years ago