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,252Updated last year
• cloudius-systems / osv
  OSv, a new operating system for the cloud.
  ☆4,214Updated 2 weeks ago
• rr-debugger / rr
  Record and Replay Framework
  ☆10,262Updated 2 weeks ago
• concurrencykit / ck
  Concurrency primitives, safe memory reclamation mechanisms and non-blocking (including lock-free) data structures designed to aid in the …
  ☆2,574Updated last week
• sustrik / libmill
  Go-style concurrency in C
  ☆3,112Updated 4 years ago
• matt-42 / silicon
  A high performance, middleware oriented C++14 http web framework please use matt-42/lithium instead
  ☆1,727Updated 5 years ago
• orangeduck / Cello
  Higher level programming in C
  ☆7,057Updated last year
• lpereira / lwan
  Experimental, scalable, high performance HTTP server
  ☆6,007Updated last month
• plasma-umass / Mesh
  A memory allocator that automatically reduces the memory footprint of C/C++ applications.
  ☆1,832Updated this week
• capnproto / capnproto
  Cap'n Proto serialization/RPC system - core tools and C++ library
  ☆12,663Updated last week
• google / souper
  A superoptimizer for LLVM IR
  ☆2,305Updated last year
• minoca / os
  Minoca operating system
  ☆2,756Updated 3 years ago
• arximboldi / immer
  Postmodern immutable and persistent data structures for C++ — value semantics at scale
  ☆2,653Updated this week
• clibs / clib
  Package manager for the C programming language.
  ☆5,088Updated last month
• ChaiScript / ChaiScript
  Embedded Scripting Language Designed for C++
  ☆3,102Updated 4 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,802Updated 2 weeks ago
• wichtounet / thor-os
  Simple operating system in C++, written from scratch
  ☆1,710Updated last year
• microsoft / mimalloc
  mimalloc is a compact general purpose allocator with excellent performance.
  ☆12,201Updated 3 weeks ago
• 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,221Updated 5 months ago
• vurtun / nuklear
  A single-header ANSI C gui library
  ☆14,114Updated 5 years ago
• mesonbuild / meson
  The Meson Build System
  ☆6,323Updated this 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,852Updated last year
• snare / voltron
  A hacky debugger UI for hackers
  ☆6,321Updated 10 months ago
• google / wuffs
  Wrangling Untrusted File Formats Safely
  ☆4,665Updated last week
• solo-io / unik
  The Unikernel & MicroVM Compilation and Deployment Platform
  ☆2,783Updated 2 years ago
• seL4 / seL4
  The seL4 microkernel
  ☆5,178Updated last week
• mirage / mirage
  MirageOS is a library operating system that constructs unikernels
  ☆2,789Updated last week
• klange / toaruos
  A completely-from-scratch hobby operating system: bootloader, kernel, drivers, C library, and userspace including a composited graphical …
  ☆6,553Updated 2 weeks ago
• sustrik / libdill
  Structured concurrency in C
  ☆1,910Updated last year
• google / sandboxed-api
  Generate sandboxes for C/C++ libraries automatically
  ☆1,715Updated last month