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,255Updated last year
• rr-debugger / rr
  Record and Replay Framework
  ☆10,293Updated this week
• cloudius-systems / osv
  OSv, a new operating system for the cloud.
  ☆4,217Updated this week
• clibs / clib
  Package manager for the C programming language.
  ☆5,104Updated 2 months ago
• minoca / os
  Minoca operating system
  ☆2,758Updated 4 years ago
• google / bloaty
  Bloaty: a size profiler for binaries
  ☆5,299Updated last week
• google / souper
  A superoptimizer for LLVM IR
  ☆2,308Updated last year
• lpereira / lwan
  Experimental, scalable, high performance HTTP server
  ☆6,011Updated 2 weeks ago
• microsoft / mimalloc
  mimalloc is a compact general purpose allocator with excellent performance.
  ☆12,287Updated last week
• 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
• arximboldi / immer
  Postmodern immutable and persistent data structures for C++ — value semantics at scale
  ☆2,661Updated 3 weeks ago
• littleosbook / littleosbook
  Source for the little book about OS development
  ☆2,597Updated 2 years ago
• solo-io / unik
  The Unikernel & MicroVM Compilation and Deployment Platform
  ☆2,786Updated 2 years ago
• plasma-umass / Mesh
  A memory allocator that automatically reduces the memory footprint of C/C++ applications.
  ☆1,837Updated 3 weeks ago
• asmjit / asmjit
  Low-latency machine code generation
  ☆4,371Updated last week
• microsoft / GSL
  Guidelines Support Library
  ☆6,583Updated 2 weeks 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
• ChaiScript / ChaiScript
  Embedded Scripting Language Designed for C++
  ☆3,100Updated 4 months ago
• concurrencykit / ck
  Concurrency primitives, safe memory reclamation mechanisms and non-blocking (including lock-free) data structures designed to aid in the …
  ☆2,581Updated last week
• wichtounet / thor-os
  Simple operating system in C++, written from scratch
  ☆1,711Updated last year
• rumpkernel / rumprun
  The Rumprun unikernel and toolchain for various platforms
  ☆1,166Updated 5 years ago
• sustrik / libmill
  Go-style concurrency in C
  ☆3,114Updated 4 years ago
• orangeduck / Cello
  Higher level programming in C
  ☆7,060Updated last year
• facebookarchive / BOLT
  Binary Optimization and Layout Tool - A linux command-line utility used for optimizing performance of binaries
  ☆2,530Updated 2 years ago
• r-lyeh / single_file_libs
  List of single-file C/C++ libraries, with emphasis on clause-less licenses.
  ☆9,653Updated 2 weeks ago
• jacobdufault / cquery
  C/C++ language server supporting multi-million line code base, powered by libclang. Emacs, Vim, VSCode, and others with language server p…
  ☆2,363Updated 5 years ago
• andlabs / libui
  Simple and portable (but not inflexible) GUI library in C that uses the native GUI technologies of each platform it supports.
  ☆10,851Updated last year
• google / cpu_features
  A cross platform C99 library to get cpu features at runtime.
  ☆2,563Updated 3 weeks ago
• seL4 / seL4
  The seL4 microkernel
  ☆5,206Updated last week
• nebulet / nebulet
  A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.
  ☆2,352Updated 2 years ago