lixinqi

minicap

Stream real-time screen capture data out of Android devices.

oneflow

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

flyspeck

The formal proof of the Kepler conjecture

maskrcnn-benchmark

Fast, modular reference implementation of Instance Segmentation and Object Detection algorithms in PyTorch.

training

Reference implementations of MLPerf™ training benchmarks

Halide

a language for fast, portable data-parallel computation

auto-complete

Emacs auto-complete package

brpc

brpc is an Industrial-grade RPC framework using C++ Language, which is often used in high performance system such as Search, Storage, Machine learning, Advertisement, Recommendation etc. "brpc" means "better RPC".

googletest

GoogleTest - Google Testing and Mocking Framework

gambit

Gambit is an efficient implementation of the Scheme programming language.

gambit

Gambit: The package for computation in game theory

chibi-scheme

Official chibi-scheme repository

guile-automatic-build

Automated cross-build script for building GNU Guile for Windows

mal

mal - Make a Lisp

Streams

Lazy evaluation in C++ - http://jscheiny.github.io/Streams/

iTeXmacs

a powerful software for writing scientific documents.

tvm

Open deep learning compiler stack for cpu, gpu and specialized accelerators

GraphScheduleEngine

GraphScheduleEngin通过消息队列的机制，提供了任务配置、任务启动、任务依赖分析、任务分配的方案；开发任务worker时只需要关注任务本身的计算、运行，通过订阅MessageQueue的消息来获取分配的任务，并在任务完成时通过MessageQueue将任务状态发送至GraphScheduleEngine；GraphScheduleEngine在收到一个任务状态后判断是否开始下一轮的任务分配。

GraphvizAnim

A tool to create animated graph visualizations, based on graphviz.

lalr-scm

An Efficient LALR(1) Parser Generator for Scheme

assignment2-2017

(Spring 2017) Assignment 2: GPU Executor

assignment1-2018

Assignment 1: automatic differentiation

f-stack

F-Stack is an user space network development kit with high performance based on DPDK, FreeBSD TCP/IP stack and coroutine API.

weibo_terminater

Final Weibo Crawler Scrap Anything From Weibo, comments, weibo contents, followers, anything. The Terminator

wkhtmltopdf

Convert HTML to PDF using Webkit (QtWebKit)

libgit2

A cross-platform, linkable library implementation of Git that you can use in your application.

libgit2-backends

Standalone ODB backends for the libgit2 library

programmer-job-blacklist

:see_no_evil:程序员找工作黑名单，换工作和当技术合伙人需谨慎啊 更新有赞

WassersteinGAN

VFSForGit

Virtual File System for Git: Enable Git at Enterprise Scale