Unikraft Applications & Examples Catalog
☆89Apr 4, 2026Updated last week
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.☆399Updated this week
- Load and execute Linux ELF binaries☆49Feb 26, 2026Updated last month
- A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.☆3,567Apr 2, 2026Updated last week
- A simple HTTP client for OCaml 5☆19Mar 16, 2026Updated 3 weeks ago
- Small PPX for fixed size integer literals☆10Nov 12, 2022Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆15Mar 12, 2023Updated 3 years ago
- Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…☆29Jul 6, 2021Updated 4 years ago
- Loupe: Syscall Usage Analysis Tool☆48Apr 7, 2026Updated last week
- High-level bindings for wasi-nn system calls☆21Aug 29, 2025Updated 7 months ago
- SPAKE2+EE implementation in OCaml☆17Oct 13, 2025Updated 6 months ago
- Example use of GitHub Actions with OCaml☆36Mar 2, 2026Updated last month
- socat(1) fork with AF_VSOCK support. vsock support is now available with mainline socat 1.7.4 available at http://www.dest-unreach.…☆10Jan 31, 2020Updated 6 years ago
- Are you SATySFi-ed with Nix?☆14Mar 6, 2023Updated 3 years 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
- 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.
- Address resolution protocol (ARP) implementation in OCaml targeting MirageOS☆23Oct 20, 2025Updated 5 months ago
- A pure OCaml implementation of R-Trees☆25Mar 16, 2024Updated 2 years ago
- A self-generating WebAssembly parser & serializer in Rust.☆28Updated this week
- A Rust to OCaml source to source translator☆23Feb 13, 2024Updated 2 years ago
- The front page and documentation for the Unikraft Open-Source Project.☆39Mar 17, 2026Updated 3 weeks ago
- Simple, existential optics library for OCaml☆17Sep 24, 2022Updated 3 years ago
- Math matrix library for SATySFi☆14Oct 15, 2019Updated 6 years ago
- V programming language bindings for radare2☆14Dec 13, 2023Updated 2 years ago
- ☆23Mar 14, 2024Updated 2 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.
- mirror of https://git.robur.coop/robur/http-mirage-client☆11Feb 25, 2025Updated last year
- mirror of https://git.robur.coop/robur/mirage-monitoring☆13Sep 30, 2025Updated 6 months ago
- Offensive V Programming☆18Nov 3, 2021Updated 4 years ago
- 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
- ☆33Mar 9, 2026Updated last month
- HTTP toolkit for OCaml (unreleased)☆19Mar 13, 2026Updated last month
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A simple library implementation of binary sessions☆11Jun 18, 2024Updated last year
- Tutorial for Writing a Kernel☆10Jun 5, 2022Updated 3 years ago
- A pipeline that deploys unikernels and other services☆23Mar 31, 2026Updated 2 weeks ago
- Rose (n-way) trees with both upwards- (i.e. cached) and downwards-traveling (i.e. accumulating) monoidal annotations.☆16Mar 31, 2026Updated 2 weeks ago
- Bidirectional transformation for Relational view update Datalog-based Strategies☆22Jul 5, 2023Updated 2 years ago
- 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
- Header-only C Library for Approximating Satellite Positions☆14Dec 24, 2025Updated 3 months ago