Dataflow ve farklılaştırılabilir programlama için ücretsiz ve açık kaynaklı bir yazılım kütüphanesidir. Sembolik bir matematik kütüphanesidir ve ayrıca sinir ağları gibi makine öğrenme uygulamaları için de kullanılır.