Alternatives and similar repositories for IncludeOS

Users that are interested in IncludeOS are comparing it to the libraries listed below

• cloudius-systems / osv
  OSv, a new operating system for the cloud.
  ☆4,205Updated 3 weeks ago
• checkedc / checkedc
  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
• lpereira / lwan
  Experimental, scalable, high performance HTTP server
  ☆5,997Updated last week
• concurrencykit / ck
  Concurrency primitives, safe memory reclamation mechanisms and non-blocking (including lock-free) data structures designed to aid in the …
  ☆2,557Updated last month
• arximboldi / immer
  Postmodern immutable and persistent data structures for C++ — value semantics at scale
  ☆2,619Updated last month
• google / bloaty
  Bloaty: a size profiler for binaries
  ☆5,199Updated 6 months ago
• sustrik / libmill
  Go-style concurrency in C
  ☆3,096Updated 4 years ago
• clibs / clib
  Package manager for the C programming language.
  ☆5,067Updated last week
• plasma-umass / Mesh
  A memory allocator that automatically reduces the memory footprint of C/C++ applications.
  ☆1,826Updated last year
• nrc / r4cppp
  Rust for C++ programmers
  ☆3,774Updated last year
• wren-lang / wren
  The Wren Programming Language. Wren is a small, fast, class-based concurrent scripting language.
  ☆7,471Updated 7 months ago
• Kobzol / hardware-effects
  Demonstration of various hardware effects.
  ☆2,933Updated last year
• rr-debugger / rr
  Record and Replay Framework
  ☆10,168Updated last week
• matt-42 / silicon
  A high performance, middleware oriented C++14 http web framework please use matt-42/lithium instead
  ☆1,727Updated 4 years ago
• klange / toaruos
  A completely-from-scratch hobby operating system: bootloader, kernel, drivers, C library, and userspace including a composited graphical …
  ☆6,516Updated last month
• orangeduck / Cello
  Higher level programming in C
  ☆7,038Updated 10 months ago
• seL4 / seL4
  The seL4 microkernel
  ☆5,111Updated this week
• marcobambini / gravity
  Gravity Programming Language
  ☆4,436Updated 6 months ago
• icecc / icecream
  Distributed compiler with a central scheduler to share build load
  ☆1,728Updated 5 months ago
• hsutter / cppfront
  A personal experimental C++ Syntax 2 -> Syntax 1 compiler
  ☆5,814Updated this week
• minoca / os
  Minoca operating system
  ☆2,757Updated 3 years ago
• redox-os / redox
  Mirror of https://gitlab.redox-os.org/redox-os/redox
  ☆15,675Updated this week
• google / souper
  A superoptimizer for LLVM IR
  ☆2,302Updated last year
• conan-io / conan
  Conan - The open-source C and C++ package manager
  ☆9,016Updated this week
• KDAB / hotspot
  The Linux perf GUI for performance analysis.
  ☆4,885Updated last month
• wichtounet / thor-os
  Simple operating system in C++, written from scratch
  ☆1,710Updated 11 months ago
• jorisvink / kore
  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
• asmjit / asmjit
  Low-latency machine code generation
  ☆4,302Updated last week
• andlabs / libui
  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
• rumpkernel / rumprun
  The Rumprun unikernel and toolchain for various platforms
  ☆1,163Updated 5 years ago