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 9 months ago
• rr-debugger / rr
  Record and Replay Framework
  ☆9,939Updated last week
• cloudius-systems / osv
  OSv, a new operating system for the cloud.
  ☆4,186Updated last week
• clibs / clib
  Package manager for the C programming language.
  ☆5,019Updated 3 months ago
• minoca / os
  Minoca operating system
  ☆2,753Updated 3 years ago
• concurrencykit / ck
  Concurrency primitives, safe memory reclamation mechanisms and non-blocking (including lock-free) data structures designed to aid in the …
  ☆2,522Updated last month
• sustrik / libmill
  Go-style concurrency in C
  ☆3,067Updated 4 years ago
• microsoft / mimalloc
  mimalloc is a compact general purpose allocator with excellent performance.
  ☆11,743Updated last week
• klange / toaruos
  A completely-from-scratch hobby operating system: bootloader, kernel, drivers, C library, and userspace including a composited graphical …
  ☆6,448Updated 2 months ago
• Snaipe / libcsptr
  Smart pointers for the (GNU) C programming language
  ☆1,678Updated 2 years ago
• sustrik / libdill
  Structured concurrency in C
  ☆1,885Updated last year
• google / bloaty
  Bloaty: a size profiler for binaries
  ☆5,115Updated 3 months ago
• matt-42 / silicon
  A high performance, middleware oriented C++14 http web framework please use matt-42/lithium instead
  ☆1,726Updated 4 years ago
• lpereira / lwan
  Experimental, scalable, high performance HTTP server
  ☆5,975Updated last month
• jakogut / tinyvm
  TinyVM is a small, fast, lightweight virtual machine written in pure ANSI C.
  ☆3,267Updated 6 years ago
• vurtun / nuklear
  A single-header ANSI C gui library
  ☆13,867Updated 5 years ago
• orangeduck / Cello
  Higher level programming in C
  ☆6,985Updated 7 months ago
• google / wuffs
  Wrangling Untrusted File Formats Safely
  ☆4,595Updated this week
• Harvey-OS / harvey
  A distributed operating system
  ☆1,453Updated 2 years ago
• vgvassilev / cling
  The interactive C++ interpreter Cling
  ☆1,790Updated 7 months ago
• seL4 / seL4
  The seL4 microkernel
  ☆5,015Updated this week
• r-lyeh / single_file_libs
  List of single-file C/C++ libraries, with emphasis on clause-less licenses.
  ☆9,447Updated last week
• icecc / icecream
  Distributed compiler with a central scheduler to share build load
  ☆1,703Updated 2 months 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,826Updated last year
• mjansson / rpmalloc
  Public domain cross platform lock free thread caching 16-byte aligned memory allocator implemented in C
  ☆2,321Updated 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,125Updated 3 weeks ago
• google / souper
  A superoptimizer for LLVM IR
  ☆2,264Updated 10 months ago
• google / cpu_features
  A cross platform C99 library to get cpu features at runtime.
  ☆2,532Updated 2 months ago
• plasma-umass / Mesh
  A memory allocator that automatically reduces the memory footprint of C/C++ applications.
  ☆1,821Updated last year
• scylladb / seastar
  High performance server-side application framework
  ☆8,760Updated last week