#
Starred repositories
72
stars
written in C
Clear filter
For developers, who are building real-time data-driven applications, Redis is the preferred, fastest, and most feature-rich cache, data structure server, and document and vector query engine.
BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more
MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems
AddressSanitizer, ThreadSanitizer, MemorySanitizer
Eclipse Mosquitto - An open source MQTT broker
The source for the Linux kernel used in Windows Subsystem for Linux 2 (WSL2)
An open source, portable, easy to use, readable and flexible TLS library, and reference implementation of the PSA Cryptography API. Releases are on a varying cadence, typically around 3 - 6 months …
Pony is an open-source, actor-model, capabilities-secure, high performance programming language
Rust-for-Linux / linux
Forked from torvalds/linuxAdding support for the Rust language to the Linux kernel.
The official git repository for Contiki, the open source OS for the Internet of Things
Open source ARM Cortex-M microcontroller library
eBPF implementation that runs on top of Windows
Tiny, fast, non-dependent and fully loaded printf implementation for embedded systems. Extensive test suite passing.
The libdispatch Project, (a.k.a. Grand Central Dispatch), for concurrency on multicore hardware
Keil projects and libraries for STM32F4xx devices
High-efficiency floating-point neural network inference operators for mobile, server, and Web
STM32 examples for USART using DMA for efficient RX and TX transmission
Contiki-NG: The OS for Next Generation IoT Devices
A simple yet fast user space network driver for Intel 10 Gbit/s NICs written from scratch
CoreMark® is an industry-standard benchmark that measures the performance of central processing units (CPU) and embedded microcrontrollers (MCU).
A portable MQTT C client for embedded systems and PCs alike.