An Open Source Machine Learning Framework for Everyone

Lightweight, Portable, Flexible Distributed/Mobile Deep Learning with Dynamic, Mutation-aware Dataflow Dep Scheduler; for Python, R, Julia, Scala, Go, Javascript and more

software version control visualization

The QuantLib C++ library

Karabiner (KeyRemap4MacBook) is a powerful utility for keyboard customization.

Lean Theorem Prover

a language for making art using mathematics

2D/3D simplicial mesh generator interface for Python (Triangle, TetGen, gmsh)

Official elastix repository

odeint - solving ordinary differential equations in c++ v2

C++ dynamic ndarray library, with Python exposure

Predictive Image Registration

Lean theorem prover version 0.2 (it supports standard and HoTT modes)

HTSeq is a Python library to facilitate processing and analysis of data from high-throughput sequencing (HTS) experiments.

Alternating Directions Dual Decomposition

hp-FEM library

Python wrapper library for signal processing and communications research