Unikraft Applications & Examples Catalog
☆83Dec 13, 2025Updated 3 months ago
Alternatives and similar repositories for catalog
Users that are interested in catalog are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Build and use highly customized and ultra-lightweight unikernel VMs.☆391Updated this week
- Load and execute Linux ELF binaries☆48Feb 26, 2026Updated 3 weeks ago
- A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.☆3,518Mar 6, 2026Updated 2 weeks ago
- 📚 Unikraft Cloud Examples and Sample Projects☆40Updated this week
- one on one Ocaml TCP chat app written with Riot + Mint tea☆10Apr 1, 2024Updated last year
- 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.
- A simple HTTP client for OCaml 5☆19Mar 16, 2026Updated last week
- musl: A C standard library☆16Feb 26, 2026Updated 3 weeks ago
- ☆15Mar 12, 2023Updated 3 years ago
- Repository public IOCLA☆22Mar 18, 2026Updated last week
- An application template for Hermit for Rust.☆40Mar 19, 2026Updated last week
- Example use of GitHub Actions with OCaml☆36Mar 2, 2026Updated 3 weeks ago
- An opiniated file-system for MirageOS☆26May 31, 2025Updated 9 months ago
- FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time.☆24Jun 2, 2023Updated 2 years ago
- Address resolution protocol (ARP) implementation in OCaml targeting MirageOS☆23Oct 20, 2025Updated 5 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A pure OCaml implementation of R-Trees☆25Mar 16, 2024Updated 2 years ago
- A Rust to OCaml source to source translator☆22Feb 13, 2024Updated 2 years ago
- The front page and documentation for the Unikraft Open-Source Project.☆38Mar 17, 2026Updated last week
- Simple, existential optics library for OCaml☆17Sep 24, 2022Updated 3 years ago
- ☆19Feb 10, 2026Updated last month
- ☆23Mar 14, 2024Updated 2 years ago
- Experimental parallel and concurrent OCaml☆14Jan 28, 2023Updated 3 years ago
- mirror of https://git.robur.coop/robur/http-mirage-client☆11Feb 25, 2025Updated last year
- OCaml implementation of a NES Legend of Zelda-style browser-based game☆26Feb 8, 2021Updated 5 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- mirror of https://git.robur.coop/robur/mirage-monitoring☆13Sep 30, 2025Updated 5 months ago
- eBPF Tools - Tool for monitoring, performance benchmarking and tracing linux kernel☆16Jan 29, 2021Updated 5 years ago
- Constrained Application Protocol (RFC 7252) implementation for OCaml.☆12Apr 3, 2024Updated last year
- OCaml bindings to stb_truetype, a public domain truetype font rasterizer☆10Jan 13, 2023Updated 3 years ago
- OCaml Serial Module☆11Oct 5, 2024Updated last year
- A safer FFI interface for OCaml☆11Jul 20, 2024Updated last year
- Hexadecimal encoding and decoding, mirror of https://git.robur.coop/robur/ohex☆10Mar 18, 2024Updated 2 years ago
- HTTP toolkit for OCaml (unreleased)☆19Mar 13, 2026Updated last week
- A pipeline that deploys unikernels and other services☆23Jul 25, 2025Updated 8 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- agrid is an OCaml library for adjustable grids. Adjustable grids are two dimensional arrays whose width/height can be changed by adding o…☆15Feb 3, 2023Updated 3 years ago
- Integrate SignPath into your GitHub Actions workflow☆14Oct 10, 2025Updated 5 months ago
- ☆14Mar 11, 2026Updated 2 weeks ago
- Build Mirage unikernels with Nix☆50Feb 5, 2026Updated last month
- Any resemblance to real and actual mails is purely coincidental.☆12Sep 23, 2021Updated 4 years ago
- Tina, a programming language with typed algebraic effects and handlers.☆13Aug 13, 2021Updated 4 years ago
- My former portfolio site ― replaced by loxygenK/portfolio-2025☆10Dec 5, 2021Updated 4 years ago