Productive, portable, and performant GPU programming in Python.

The Z3 Theorem Prover

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

JUCE is an open-source cross-platform C++ application framework for desktop and mobile applications, including VST, VST3, AU, AUv3, LV2 and AAX audio plug-ins.

Facebook AI Research's Automatic Speech Recognition Toolkit

projectM - Cross-platform Music Visualization Library. Open-source and Milkdrop-compatible.

Eurorack modules

Functional programming language for signal processing and sound synthesis

Bond is a cross-platform framework for working with schematized data. It supports cross-language de/serialization and powerful generic mechanisms for efficiently manipulating data. Bond is broadly …

486 lines of C++: old-school FPS in a weekend

LogCabin is a distributed storage system built on Raft that provides a small amount of highly replicated, consistent storage. It is a reliable place for other distributed systems to store their cor…

ossia score, an interactive sequencer for the intermedia arts

Eclipse OMR™ Cross platform components for building reliable, high performance language runtimes

Fun with the Windows Subsystem for Linux (WSL/LXSS)

Virtual Radio module for Eurorack

hspp: An experimental library to bring Haskell Style Programming to C++.