Model-based design and verification for robotics.
- robotics
- drake
47,133 repositories indexed
385–408 of 1,782 · Most stars
Model-based design and verification for robotics.
A lightweight C++ base library with Go-style coroutines.
A heap memory profiler for Linux
A lightweight process isolation tool that utilizes Linux namespaces, cgroups, rlimits and seccomp-bpf syscall filters, leveraging the Kafel BPF language for enhanced security.
Multi-platform app that allows your devices to communicate
MQTT gateway for ESP8266 or ESP32 with bidirectional 433mhz/315mhz/868mhz, Infrared communications, BLE, Bluetooth, beacons detection, mi flora, mi jia, LYWSD02, LYWSD03MMC, Mi Scale, TPMS, BBQ thermometer compatibility & LoRa.
A conformant OpenGL ES implementation for Windows, Mac, Linux, iOS and Android.
Voxel module for Godot Engine
Open-source library of optimized deep learning operations (matmul, convolution, attention) for CPUs (x64, AArch64, RISC-V) and Intel GPUs. Used by PyTorch, TensorFlow, OpenVINO, and ONNX Runtime.
Command the forces of The Project in a battle to rebuild the world after mankind has been nearly destroyed by nuclear missiles. A 100% free and open source real-time strategy game for Windows, macOS, Linux, BSD+
An all-in-one, pure C++ inference engine for audio models, powered by ggml. Supports TTS, STT, VAD, voice conversion, music generation, and more, with highly optimized performance. No Python dependency.
A client library for the Arduino Ethernet Shield that provides support for MQTT.
Mapnik is an open source toolkit for developing mapping applications
C++ implementation of the Python Numpy library
Bloodborne (v1.09) running natively on Linux and Windows: the game's x86-64 code runs as is, GPU side translated to Vulkan; FSR 4 / DLSS, co-op (BBSC). Bring your own dump.
3D C++ Game Engine - yet another open source game engine
A static source code analysis tool to improve quality and reduce defects for C, C++ and Objective-C
Compile Time Regular Expression in C++
A fast and flexible implementation of Rigid Body Dynamics algorithms and their analytical derivatives
Free open source home automation system for Linux, Windows, Raspberry Pi. Supports Z-Wave, Zigbee, MQTT, and 150+ devices.
JPEG XL image format reference implementation
High performance motor control
A fast, powerful type checker designed for Ruby
C++ library for audio and music analysis, description and synthesis, including Python bindings