Arduino core for the ESP32
Hobby operating system, bootloader, kernel, drivers, C library
Dynamic Instrumentation Tool Platform
Lightweight generic ring buffer manager library
Checked C is an extension to C that lets programmers write C code
A real time inference engine for temporal logical specifications
Simple and flexible programming language for applications development
Fast containers for C language
Binary Modular DataFlow Machine (BMDFM)
Compressed bit-sets, sparse bit matrices and algorithms
Next Scripting Framework (NSF)
Implementation of LZW compression algorithm in C
The SFENCE dynamic library is an interface for writing programs.
State machine framework for reactive embedded systems
Perform dynamic tunings for realtime music.
Data structures and Algorithms library
LXCF (LXC Facility) generates LXC container of full OS environment.
MicroLua brings Lua on the Nintendo DS for easy programming
A set of library for C++, including a script programming language
Set of module for data processing of wireless device
Converts (packages) Python programs into stand-alone executables
Toolkit for Automatic Control and Dynamic Optimization