Alternatives and similar repositories for IncludeOS

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

• 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,256Updated last year
• cloudius-systems / osv
  OSv, a new operating system for the cloud.
  ☆4,217Updated this week
• sustrik / libmill
  Go-style concurrency in C
  ☆3,114Updated 4 years ago
• concurrencykit / ck
  Concurrency primitives, safe memory reclamation mechanisms and non-blocking (including lock-free) data structures designed to aid in the …
  ☆2,581Updated 2 weeks ago
• rr-debugger / rr
  Record and Replay Framework
  ☆10,293Updated this week
• clibs / clib
  Package manager for the C programming language.
  ☆5,104Updated 2 months ago
• orangeduck / Cello
  Higher level programming in C
  ☆7,060Updated last year
• wichtounet / thor-os
  Simple operating system in C++, written from scratch
  ☆1,711Updated last year
• minoca / os
  Minoca operating system
  ☆2,761Updated 4 years ago
• matt-42 / silicon
  A high performance, middleware oriented C++14 http web framework please use matt-42/lithium instead
  ☆1,729Updated 5 years ago
• google / bloaty
  Bloaty: a size profiler for binaries
  ☆5,299Updated last week
• plasma-umass / Mesh
  A memory allocator that automatically reduces the memory footprint of C/C++ applications.
  ☆1,837Updated 3 weeks ago
• marcobambini / gravity
  Gravity Programming Language
  ☆4,449Updated 8 months ago
• r-lyeh / single_file_libs
  List of single-file C/C++ libraries, with emphasis on clause-less licenses.
  ☆9,653Updated 2 weeks ago
• sustrik / libdill
  Structured concurrency in C
  ☆1,910Updated last year
• solo-io / unik
  The Unikernel & MicroVM Compilation and Deployment Platform
  ☆2,786Updated 2 years ago
• asmjit / asmjit
  Low-latency machine code generation
  ☆4,371Updated last week
• NASA-SW-VnV / ikos
  Static analyzer for C/C++ based on the theory of Abstract Interpretation.
  ☆3,077Updated 8 months ago
• bdwgc / bdwgc
  The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (bdwgc, also known as bdw-gc, boehm-gc, libgc)
  ☆3,379Updated last week
• vgvassilev / cling
  The interactive C++ interpreter Cling
  ☆1,795Updated last year
• capnproto / capnproto
  Cap'n Proto serialization/RPC system - core tools and C++ library
  ☆12,730Updated this week
• arximboldi / immer
  Postmodern immutable and persistent data structures for C++ — value semantics at scale
  ☆2,661Updated 3 weeks ago
• ChaiScript / ChaiScript
  Embedded Scripting Language Designed for C++
  ☆3,100Updated 4 months ago
• mirage / mirage
  MirageOS is a library operating system that constructs unikernels
  ☆2,799Updated last month
• Snaipe / libcsptr
  Smart pointers for the (GNU) C programming language
  ☆1,713Updated 3 years ago
• electronicarts / EASTL
  EASTL stands for Electronic Arts Standard Template Library. It is an extensive and robust implementation that has an emphasis on high pe…
  ☆9,076Updated last month
• cs01 / gdbgui
  Browser-based frontend to gdb (gnu debugger). Add breakpoints, view the stack, visualize data structures, and more in C, C++, Go, Rust, a…
  ☆10,234Updated 5 months ago
• icecc / icecream
  Distributed compiler with a central scheduler to share build load
  ☆1,749Updated 7 months ago
• lpereira / lwan
  Experimental, scalable, high performance HTTP server
  ☆6,011Updated 3 weeks ago
• google / souper
  A superoptimizer for LLVM IR
  ☆2,308Updated last year