C++ based gRPC (C++, Python, Ruby, Objective-C, PHP, C#)

Productive, portable, and performant GPU programming in Python.

Scalable, Portable and Distributed Gradient Boosting (GBDT, GBRT or GBM) Library, for Python, R, Java, Scala, C++ and more. Runs on single machine, Hadoop, Spark, Dask, Flink and DataFlow

Solidity, the Smart Contract Programming Language

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

OneFlow is a deep learning framework designed to be user-friendly, scalable and efficient.

MegEngine 是一个快速、可拓展、易于使用且支持自动求导的深度学习框架

HeavyDB (formerly MapD/OmniSciDB)

Open source neural network chess engine with GPU acceleration and broad hardware support.

Lean Theorem Prover

Mitsuba 2: A Retargetable Forward and Inverse Renderer

The Self-Driving Database Management System

The Tensor Algebra Compiler (taco) computes sparse tensor expressions on CPUs and GPUs

Enoki: structured vectorization and differentiation on modern processor architectures

A minimalistic and high-performance SAT solver

Automatic verification of LLVM optimizations

Experiments towards neural network theorem proving

从blink里剥离的垃圾回收组件， 能让c++拥有java一样的自动垃圾回收机制

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

Online demo without installing at - https://buildit.so/tryit

A programming language for live coding

Automatic differentiation in C++; infinite differentiability of conditionals, loops, recursion and all things C++

A language and compiler for irregular tensor programs.

Primary implementation of the Venture probabilistic programming system

a playground for working with fully static tensors and automatic differentiation