Unikraft port of the lwip network stack
☆17Apr 20, 2026Updated 6 months ago
Alternatives and similar repositories for lib-lwip
Users that are interested in lib-lwip are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A simple "Hello World" application written in C☆18Mar 2, 2024Updated 2 years ago
- Pre-built Dynamic Linux ELFs☆11Oct 21, 2023Updated 3 years ago
- Built Linux applications (static-pie) for Unikraft binary compatibility mode☆11Jul 24, 2023Updated 3 years ago
- Run Unikraft ELF Loader app on Linux executables☆16Oct 19, 2023Updated 3 years ago
- An experimental modular OS written in Rust.☆12Jul 19, 2024Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A Rust-based Unikernel Enhancing Reliability and Efficiency of Embedded Systems.☆12Jun 28, 2024Updated 2 years ago
- Load and execute Linux ELF binaries☆66Oct 2, 2026Updated last month
- ☆12Apr 25, 2021Updated 5 years ago
- library OS, based on xv6, for running go programs on (virtual) bare metal☆13Jul 12, 2011Updated 15 years ago
- musl: A C standard library☆19Apr 20, 2026Updated 6 months ago
- A splay tree implementation.☆13Updated this week
- The front page and documentation for the Unikraft Open-Source Project.☆42Sep 29, 2026Updated last month
- End-to-end system reference material showcasing all the different aspects of OpenAMP, on multiple vendor platforms.☆30Updated this week
- The Rumprun unikernel and toolchain for various platforms☆11Oct 30, 2026Updated last week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Compound Real-time Operating System☆19Aug 15, 2020Updated 6 years ago
- Loupe: Syscall Usage Analysis Tool☆53Updated this week
- ☆12Jan 23, 2022Updated 4 years ago
- Run ordinary Linux programs (e.g., Python, Node.js, .NET, Go, Bash) inside Hyperlight micro-VMs☆42Updated this week
- An standalone micro-ROS app for Nuttx☆15Sep 16, 2025Updated last year
- Automotive S32 U-Boot☆11Oct 30, 2026Updated last week
- Linux UIO Library in Rust☆22Jun 7, 2026Updated 4 months ago
- Unix core platform libraries for MirageOS☆13Mar 5, 2025Updated last year
- IO memory page library for Mirage backends☆10Mar 5, 2025Updated 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.
- RTL blocks compatible with the Rocket Chip Generator☆17Mar 30, 2025Updated last year
- Medium weight threads - preemptive thread pools for Lwt☆31Sep 14, 2026Updated last month
- ☆10Sep 16, 2026Updated last month
- Reference implementation for P3655☆11Apr 3, 2025Updated last year
- An asynchronous single-consumer single-producer pipe for bytes☆17Aug 11, 2026Updated 2 months ago
- Convert FreeRTOS trace-recorder traces to LTTng-shaped CTF☆16Dec 24, 2024Updated last year
- Yet another implementation of fork&exec and related functionality☆11Updated this week
- Main Repo for the OpenHW Group Software Task Group☆17Mar 11, 2025Updated last year
- ☆31Nov 26, 2025Updated 11 months 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.
- Bring fusion to everyone☆16Feb 6, 2020Updated 6 years ago
- Baremetal Embeddable Debugger☆12Feb 22, 2022Updated 4 years ago
- Library for structural temporal logic proofs over coinductive, free monads with effects and choice.☆11Updated this week
- Automatically exported from code.google.com/p/synchronic☆11Nov 8, 2016Updated 9 years ago
- Flow implementations for Mirage☆13Feb 5, 2025Updated last year
- macOS bindings to the FSEvents API☆18Aug 13, 2026Updated 2 months ago
- Questions + answers for the SO interview exam☆94Updated this week