An Open Source Machine Learning Framework for Everyone

The open-source database for the realtime web.

SQL powered operating system instrumentation, monitoring, and analytics.

Native cross-platform MongoDB management tool

Vowpal Wabbit is a machine learning system which pushes the frontier of machine learning with techniques such as online, hashing, allreduce, reductions, learning2search, active, and interactive lea…

The Flutter engine

a language for fast, portable data-parallel computation

Let's upgrade cheap off-the-shelf robotic mowers to modern, smart RTK GPS based lawn mowing robots!

Written in C++ and using SDL, The Powder Toy is a desktop version of the classic 'falling sand' physics sandbox, it simulates air pressure and velocity as well as heat.

Lean Theorem Prover

TFHE: Fast Fully Homomorphic Encryption Library over the Torus

3D GPUs Strange Attractors and Hypercomplex Fractals explorer - up to 256 Million particles in RealTime

A simple research-oriented image viewer with an emphasis on examining and comparing high-dynamic range (HDR) images.

Deprecated OpenBCI Docs

A Reasoning System for a First-Order Logic of Limited Belief, written in C++

Physarum/organic simulations inspired by "36 Points". Interaction with gamepad for artistic installation. (using openFrameworks)

🔬 a C++ compiler middle-end, using an LLVM backend

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

UDropBox app for Ubuntu