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,243Updated 10 months ago
• sustrik / libmill
  Go-style concurrency in C
  ☆3,070Updated 4 years 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,144Updated last month
• cloudius-systems / osv
  OSv, a new operating system for the cloud.
  ☆4,195Updated 3 weeks ago
• matt-42 / silicon
  A high performance, middleware oriented C++14 http web framework please use matt-42/lithium instead
  ☆1,725Updated 4 years ago
• orangeduck / Cello
  Higher level programming in C
  ☆6,995Updated 8 months ago
• clibs / clib
  Package manager for the C programming language.
  ☆5,032Updated 4 months ago
• wichtounet / thor-os
  Simple operating system in C++, written from scratch
  ☆1,710Updated 8 months ago
• mirage / mirage
  MirageOS is a library operating system that constructs unikernels
  ☆2,712Updated 2 months ago
• concurrencykit / ck
  Concurrency primitives, safe memory reclamation mechanisms and non-blocking (including lock-free) data structures designed to aid in the …
  ☆2,532Updated this week
• google / bloaty
  Bloaty: a size profiler for binaries
  ☆5,136Updated 4 months ago
• rr-debugger / rr
  Record and Replay Framework
  ☆10,021Updated this week
• r-lyeh / single_file_libs
  List of single-file C/C++ libraries, with emphasis on clause-less licenses.
  ☆9,484Updated 2 weeks ago
• arximboldi / immer
  Postmodern immutable and persistent data structures for C++ — value semantics at scale
  ☆2,591Updated this week
• sustrik / libdill
  Structured concurrency in C
  ☆1,889Updated last year
• plasma-umass / Mesh
  A memory allocator that automatically reduces the memory footprint of C/C++ applications.
  ☆1,826Updated last year
• Harvey-OS / harvey
  A distributed operating system
  ☆1,453Updated 3 years ago
• Snaipe / libcsptr
  Smart pointers for the (GNU) C programming language
  ☆1,680Updated 2 years ago
• seL4 / seL4
  The seL4 microkernel
  ☆5,027Updated last week
• facebookarchive / BOLT
  Binary Optimization and Layout Tool - A linux command-line utility used for optimizing performance of binaries
  ☆2,529Updated 2 years ago
• solo-io / unik
  The Unikernel & MicroVM Compilation and Deployment Platform
  ☆2,767Updated 2 years 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,769Updated 3 months ago
• google / wuffs
  Wrangling Untrusted File Formats Safely
  ☆4,610Updated 3 weeks ago
• vgvassilev / cling
  The interactive C++ interpreter Cling
  ☆1,787Updated 8 months ago
• larsbrinkhoff / awesome-cpus
  All CPU and MCU documentation in one place
  ☆1,950Updated 2 years ago
• lpereira / lwan
  Experimental, scalable, high performance HTTP server
  ☆5,974Updated last month
• google / souper
  A superoptimizer for LLVM IR
  ☆2,288Updated 11 months ago
• facebook / proxygen
  A collection of C++ HTTP libraries including an easy to use HTTP server.
  ☆8,273Updated this week
• bdwgc / bdwgc
  The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (bdwgc, also known as bdw-gc, boehm-gc, libgc)
  ☆3,291Updated last week
• google / sandboxed-api
  Generate sandboxes for C/C++ libraries automatically
  ☆1,711Updated last week