Alternatives and similar repositories for lk:

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

• seL4 / seL4
  The seL4 microkernel
  ☆4,818Updated this week
• 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,229Updated 4 months ago
• nanopb / nanopb
  Protocol Buffers with small code size
  ☆4,495Updated last month
• crosstool-ng / crosstool-ng
  A versatile (cross-)toolchain generator.
  ☆2,203Updated last week
• u-boot / u-boot
  "Das U-Boot" Source Tree
  ☆4,242Updated this week
• ARM-software / arm-trusted-firmware
  Read-only mirror of Trusted Firmware-A
  ☆2,000Updated this week
• picolibc / picolibc
  picolibc - a C library designed for embedded 32- and 64- bit systems.
  ☆1,234Updated this week
• ARM-software / abi-aa
  Application Binary Interface for the Arm® Architecture
  ☆1,007Updated this week
• clibs / clib
  Package manager for the C programming language.
  ☆4,922Updated last month
• tass-belgium / picotcp
  PicoTCP is a free TCP/IP stack implementation
  ☆1,208Updated last year
• buildroot / buildroot
  Buildroot, making embedded Linux easy. Note that this is not the official repository, but only a mirror. The official Git repository is a…
  ☆2,872Updated this week
• coreboot / coreboot
  Read-only mirror of https://review.coreboot.org/coreboot.git. We don't handle Pull Requests.
  ☆2,287Updated last week
• sustrik / libmill
  Go-style concurrency in C
  ☆3,024Updated 4 years ago
• larsbrinkhoff / awesome-cpus
  All CPU and MCU documentation in one place
  ☆1,913Updated 2 years ago
• klange / toaruos
  A completely-from-scratch hobby operating system: bootloader, kernel, drivers, C library, and userspace including a composited graphical …
  ☆6,232Updated 3 weeks ago
• landley / toybox
  toybox
  ☆2,503Updated this week
• includeos / IncludeOS
  A minimal, resource efficient unikernel for cloud services
  ☆5,095Updated 2 months ago
• bootlin / elixir
  The Elixir Cross Referencer
  ☆1,016Updated last week
• devicetree-org / devicetree-specification
  Devicetree Specification document source files
  ☆899Updated 3 weeks ago
• sustrik / libdill
  Structured concurrency in C
  ☆1,852Updated 10 months ago
• rswier / c4
  C in four functions
  ☆9,991Updated last year
• tock / tock
  A secure embedded operating system for microcontrollers
  ☆5,626Updated this week
• qemu / qemu
  Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are ignored. Please on…
  ☆10,862Updated this week
• Mbed-TLS / mbedtls
  An open source, portable, easy to use, readable and flexible TLS library, and reference implementation of the PSA Cryptography API. Relea…
  ☆5,695Updated this week
• littlefs-project / littlefs
  A little fail-safe filesystem designed for microcontrollers
  ☆5,389Updated this week
• RIOT-OS / RIOT
  RIOT - The friendly OS for IoT
  ☆5,406Updated this week
• embox / embox
  Modular and configurable OS for embedded applications
  ☆1,337Updated this week
• attractivechaos / klib
  A standalone and lightweight C library
  ☆4,300Updated last week
• antirez / sds
  Simple Dynamic Strings library for C
  ☆4,993Updated 9 months ago
• TinyCC / tinycc
  Unofficial mirror of mob development branch
  ☆2,178Updated last month