includeos / IncludeOSLinks
A minimal, resource efficient unikernel for cloud services
☆5,167Updated this week
Alternatives and similar repositories for IncludeOS
Users that are interested in IncludeOS are comparing it to the libraries listed below
Sorting:
- OSv, a new operating system for the cloud.☆4,205Updated 3 weeks ago
- 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,250Updated last year
- Experimental, scalable, high performance HTTP server☆5,997Updated last week
- Concurrency primitives, safe memory reclamation mechanisms and non-blocking (including lock-free) data structures designed to aid in the …☆2,557Updated last month
- Postmodern immutable and persistent data structures for C++ — value semantics at scale☆2,619Updated last month
- Bloaty: a size profiler for binaries☆5,199Updated 6 months ago
- Go-style concurrency in C☆3,096Updated 4 years ago
- Package manager for the C programming language.☆5,067Updated last week
- A memory allocator that automatically reduces the memory footprint of C/C++ applications.☆1,826Updated last year
- Rust for C++ programmers☆3,774Updated last year
- The Wren Programming Language. Wren is a small, fast, class-based concurrent scripting language.☆7,471Updated 7 months ago
- Demonstration of various hardware effects.☆2,933Updated last year
- Record and Replay Framework☆10,168Updated last week
- A high performance, middleware oriented C++14 http web framework please use matt-42/lithium instead☆1,727Updated 4 years ago
- A completely-from-scratch hobby operating system: bootloader, kernel, drivers, C library, and userspace including a composited graphical …☆6,516Updated last month
- Higher level programming in C☆7,038Updated 10 months ago
- The seL4 microkernel☆5,111Updated this week
- Gravity Programming Language☆4,436Updated 6 months ago
- Distributed compiler with a central scheduler to share build load☆1,728Updated 5 months ago
- A personal experimental C++ Syntax 2 -> Syntax 1 compiler☆5,814Updated this week
- Minoca operating system☆2,757Updated 3 years ago
- Mirror of https://gitlab.redox-os.org/redox-os/redox☆15,675Updated this week
- A superoptimizer for LLVM IR☆2,302Updated last year
- Conan - The open-source C and C++ package manager☆9,016Updated this week
- The Linux perf GUI for performance analysis.☆4,885Updated last month
- Simple operating system in C++, written from scratch☆1,710Updated 11 months ago
- An easy to use, scalable and secure web application framework for writing web APIs in C or Python. || This is a read-only mirror, please …☆3,795Updated this week
- Low-latency machine code generation☆4,302Updated last week
- Simple and portable (but not inflexible) GUI library in C that uses the native GUI technologies of each platform it supports.☆10,839Updated last year
- The Rumprun unikernel and toolchain for various platforms☆1,163Updated 5 years ago