Block or report user

Report or block zhengyi-yang

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse
Pro

The CompCert formally-verified C compiler

Coq 665 89 Updated Feb 13, 2019

DS2 is an auto-scaling controller for distributed streaming dataflows

Rust 28 4 Updated Dec 18, 2018

Distributed transactional key-value database, originally created to complement TiDB

Rust 4,614 668 Updated Feb 22, 2019

Example of using Rust to Extend Python

Python 367 27 Updated Feb 4, 2019

A Python Interpreter written in Rust

Rust 2,878 134 Updated Feb 22, 2019

A modular implementation of timely dataflow in Rust

Rust 962 97 Updated Feb 22, 2019

Machine Learning library for Rust

Rust 804 96 Updated Nov 30, 2018

Foofah: programming-by-example data transformation program synthesizer

CSS 14 3 Updated Apr 23, 2018

An efficient large-scale graph mining framework.

C++ 17 5 Updated Jan 28, 2019

A graph database written in rust

Rust 324 15 Updated Feb 14, 2019

Fast key-value store from Microsoft Research

C# 3,326 214 Updated Feb 22, 2019

A collection of surprising Python snippets and lesser-known features.

Python 13,692 1,242 Updated Dec 16, 2018

free as in lock-free embedded database

Rust 1,759 62 Updated Feb 22, 2019

Replicate your Key Value Store across your network, with consistency, persistance and performance.

Java 1,589 318 Updated Feb 17, 2019

Find out what takes most of the space in your executable.

Rust 389 5 Updated Nov 20, 2018

Scalable user load testing tool written in Python

Python 9,374 1,352 Updated Feb 22, 2019

Actix web is a small, pragmatic, and extremely fast rust web framework.

Rust 3,295 237 Updated Feb 16, 2019

Pointer Analysis and Program Dependence Analysis for C and C++ Programs

C 217 70 Updated Feb 12, 2019

A static, type inferred and embeddable language written in Rust.

Rust 1,597 90 Updated Feb 19, 2019

Cap'n Proto for Rust

Rust 711 68 Updated Feb 21, 2019

High-performance runtime for data analytics applications

Rust 1,049 132 Updated Feb 18, 2019

A safe, extensible ORM and Query Builder for Rust

Rust 3,622 357 Updated Feb 22, 2019

Rayon: A data parallelism library for Rust

Rust 2,644 177 Updated Feb 19, 2019

Set theory applied on sorted and deduplicated slices.

Rust 22 Updated Feb 14, 2019

SIMD for humans

Rust 999 26 Updated Dec 11, 2018

SIMD algorithms for integer compression via bitpacking. This crate is a port of a C library called simdcomp.

Rust 69 6 Updated Feb 4, 2019

JSON implementation in Rust

Rust 264 22 Updated Jan 19, 2019

Py2neo is a comprehensive toolkit for working with Neo4j from within Python applications or from the command line.

Python 733 169 Updated Feb 7, 2019

Neo4j + vis.js = neovis.js. Graph visualizations in the browser with data from Neo4j.

JavaScript 268 63 Updated Feb 18, 2019

TiDB is a distributed HTAP database compatible with the MySQL protocol

Go 17,409 2,491 Updated Feb 22, 2019