An Open Source Machine Learning Framework for Everyone

Powerful, mature open-source cross-platform game engine for Python and C++, developed by Disney and CMU

Extremely fast, in memory, JSON and reflection library for modern C++

This is a Kalman filter used to calculate the angle, rate and bias from from the input of an accelerometer/magnetometer and a gyroscope.

The OpenCog (hyper-)graph database and graph rewriting system

Lean 3 Theorem Prover (community fork)

Storage for my snippets, toy programs, etc.

The Vampire Theorem Prover

SIMD (SSE) population count --- http://0x80.pl/articles/sse-popcount.html

Arduino library for nRF51822-based Adafruit Bluefruit LE modules

A DSL for efficient Graph Analysis

A persistent hash array-mapped trie for C++

Scala Native GUI library based on webview