ClickHouse® is a real-time analytics DBMS

Scalable, Portable and Distributed Gradient Boosting (GBDT, GBRT or GBM) Library, for Python, R, Java, Scala, C++ and more. Runs on single machine, Hadoop, Spark, Dask, Flink and DataFlow

DuckDB is an analytical in-process SQL database management system

Control WS2812B and many more types of digital RGB LEDs with an ESP8266 or ESP32 over WiFi!

Apache Arrow is a multi-language toolbox for accelerated data interchange and in-memory processing

Mobile Shell

Turi Create simplifies the development of custom machine learning models.

The Z3 Theorem Prover

🍃 Organic Maps is a free Android & iOS offline maps app for travelers, tourists, hikers, and cyclists. It uses crowd-sourced OpenStreetMap data and is developed with love by MapsWithMe (MapsMe) fou…

A data visualization and analytics component, especially well-suited for large and/or streaming datasets.

The FastLED library for colored LED animation on Arduino. Please direct questions/requests for help to the FastLED Reddit community: http://fastled.io/r We'd like to use github "issues" just for tr…

The successor to Hyperion aka Hyperion Next Generation

HeavyDB (formerly OmniSciDB)

deCONZ REST-API plugin to control ZigBee devices

Self-Driving Database Management System from Carnegie Mellon University

WebAssembly version of DuckDB

Arduino library to control Mitsubishi Heat Pumps via connector cn105

🤔 A grounder and solver for logic programs.

ESPHome Climate Component for Mitsubishi Heatpumps using direct serial connection

An example Flight SQL Server implementation - with DuckDB and SQLite back-ends.

⚙️ A conflict-driven nogood learning answer set solver

A C++ API to Vega-Lite.

⛓️ Extension of clingo to handle constraints over integers

A linear least square solver using the Conjugate Gradient method

A drum recording software written in Qt/C++

A grounder and solver for P-log (A language combining non-monotonic logic with probabilities)