includeos / IncludeOSLinks
A minimal, resource efficient unikernel for cloud services
☆5,149Updated 9 months ago
Alternatives and similar repositories for IncludeOS
Users that are interested in IncludeOS are comparing it to the libraries listed below
Sorting:
- Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let peopl…☆3,245Updated 10 months ago
- Cap'n Proto serialization/RPC system - core tools and C++ library☆12,411Updated this week
- OSv, a new operating system for the cloud.☆4,200Updated this week
- Concurrency primitives, safe memory reclamation mechanisms and non-blocking (including lock-free) data structures designed to aid in the …☆2,545Updated 2 weeks ago
- Postmodern immutable and persistent data structures for C++ — value semantics at scale☆2,602Updated 3 weeks ago
- Go-style concurrency in C☆3,077Updated 4 years ago
- A high performance, middleware oriented C++14 http web framework please use matt-42/lithium instead☆1,727Updated 4 years ago
- Embedded Scripting Language Designed for C++☆3,055Updated last month
- Bloaty: a size profiler for binaries☆5,165Updated 4 months ago
- Browser-based frontend to gdb (gnu debugger). Add breakpoints, view the stack, visualize data structures, and more in C, C++, Go, Rust, a…☆10,162Updated 2 months ago
- A memory allocator that automatically reduces the memory footprint of C/C++ applications.☆1,825Updated last year
- List of single-file C/C++ libraries, with emphasis on clause-less licenses.☆9,516Updated this week
- Package manager for the C programming language.☆5,047Updated 5 months ago
- mimalloc is a compact general purpose allocator with excellent performance.☆11,899Updated last week
- MirageOS is a library operating system that constructs unikernels☆2,721Updated this week
- Minoca operating system☆2,753Updated 3 years ago
- Higher level programming in C☆7,011Updated 9 months ago
- Simple and portable (but not inflexible) GUI library in C that uses the native GUI technologies of each platform it supports.☆10,838Updated last year
- The Rumprun unikernel and toolchain for various platforms☆1,157Updated 5 years ago
- The seL4 microkernel☆5,051Updated this week
- A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.☆2,347Updated 2 years ago
- Simple operating system in C++, written from scratch☆1,712Updated 9 months ago
- Experimental, scalable, high performance HTTP server☆5,988Updated this week
- Structured concurrency in C☆1,889Updated last year
- Source for the little book about OS development☆2,545Updated 2 years ago
- The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (bdwgc, also known as bdw-gc, boehm-gc, libgc)☆3,300Updated last week
- Smart pointers for the (GNU) C programming language☆1,684Updated 2 years ago
- An implementation of the TLS/SSL protocols☆4,621Updated this week
- Distributed compiler with a central scheduler to share build load☆1,721Updated 4 months ago
- Pony is an open-source, actor-model, capabilities-secure, high performance programming language☆5,932Updated last month