Starred repositories
32
stars
written in C
Clear filter
BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more
Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.
Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are disabled. Please only use release tarballs from the QEMU website.
'Classic' FreeRTOS distribution. Started as Git clone of FreeRTOS SourceForge SVN repo. Submodules the kernel.
Scriptable database and system performance benchmark
FreeRTOS kernel files only, submoduled into https://github.com/FreeRTOS/FreeRTOS and various other repos.
✉️ Teaching an Old Dog New Tricks -- IRC: #neomutt on irc.libera.chat
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 people easily make their existing C code type-safe and eliminate …
A command-line tool to select default applications for document types and URL schemes on Mac OS X
Paparazzi is a free and open-source hardware and software project for unmanned (air) vehicles. This is the main software repository.
The main firmware for the Crazyflie Nano Quadcopter, Crazyflie Bolt Quadcopter and Roadrunner Positioning Tag.
Official development repository for SUNDIALS - a SUite of Nonlinear and DIfferential/ALgebraic equation Solvers. Pull requests are welcome for bug fixes and minor changes.
dfu-programmer is a Device Firmware Update based USB programmer for Atmel chips with a USB bootloader
A simple way to write standalone C programs for i386
The OCaml-Canvas library provides a portable Canvas for OCaml
Open Source Software used in Parrot Mambo
Blaz: a library for frugal matrix computations. Blaz provides compression/uncompression functions for matrices of floating-point numbers and makes it possible to perform basic linear algebra on the…