spz0507's starred repositories

tvm

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

Language:PythonLicense:Apache-2.0Stargazers:11443Issues:0Issues:0

concurrent-map

a thread-safe concurrent map for go

Language:GoLicense:MITStargazers:4212Issues:0Issues:0

dolt

Dolt – Git for Data

Language:GoLicense:Apache-2.0Stargazers:17417Issues:0Issues:0

go-druid

A Golang client for Druid

Language:GoLicense:Apache-2.0Stargazers:40Issues:0Issues:0

parser

A MySQL Compatible SQL Parser

Language:GoLicense:Apache-2.0Stargazers:1399Issues:0Issues:0

turnilo

Business intelligence, data exploration and visualization web application for Druid, formerly known as Swiv and Pivot

Language:TypeScriptLicense:Apache-2.0Stargazers:719Issues:0Issues:0

plywood

A toolkit for querying and interacting with Big Data

Language:JavaScriptLicense:Apache-2.0Stargazers:382Issues:0Issues:0

reading

A list of computer-science readings I recommend

License:MITStargazers:2964Issues:0Issues:0

personalLearn

δΈͺδΊΊε­¦δΉ θ΅„ζ–™

Language:HTMLStargazers:123Issues:0Issues:0

Free-DevOps-Books-1

A curated collection of free DevOps related eBooks

Stargazers:390Issues:0Issues:0

hstream

HStreamDB is an open-source, cloud-native streaming database for IoT and beyond. Modernize your data stack for real-time applications.

Language:HaskellLicense:BSD-3-ClauseStargazers:699Issues:0Issues:0
Stargazers:110Issues:0Issues:0

milewski-ctfp-pdf

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Language:TeXLicense:NOASSERTIONStargazers:10850Issues:0Issues:0

nyxt

Nyxt - the hacker's browser.

Language:Common LispStargazers:9691Issues:0Issues:0

string2sign

Generate balanced uint64 hash for string. Widely used in the generation of feature id in machine learning.

Language:C++Stargazers:7Issues:0Issues:0

parsing-techniques

πŸ“• parsing techniques δΈ­ζ–‡θ―‘ζœ¬β€”β€”γ€Šθ§£ζžζŠ€ζœ―γ€‹

Language:ShellStargazers:1516Issues:0Issues:0

mlflow

Open source platform for the machine learning lifecycle

Language:PythonLicense:Apache-2.0Stargazers:17981Issues:0Issues:0

sxql

An SQL generator for Common Lisp.

Language:Common LispLicense:BSD-3-ClauseStargazers:351Issues:0Issues:0

GoDFS

[G|HD]FS inspired simple distributed filesystem

Language:GoStargazers:20Issues:0Issues:0
Language:HTMLStargazers:6Issues:0Issues:0

GoBooks

List of Golang books

Stargazers:16436Issues:0Issues:0

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Language:OCamlLicense:LGPL-2.1Stargazers:4728Issues:0Issues:0

pycoq

Python bindings for the Coq interactive proof assistant

Language:OCamlStargazers:49Issues:0Issues:0

qbeast-spark

Qbeast-spark: DataSource enabling multi-dimensional indexing and efficient data sampling. Big Data, free from the unnecessary!

Language:ScalaLicense:Apache-2.0Stargazers:205Issues:0Issues:0

SparkCube

SparkCube is an open-source project for extremely fast OLAP data analysis. SparkCube is an extension of Apache Spark.

Language:ScalaLicense:Apache-2.0Stargazers:130Issues:0Issues:0

tokudb

Next Generation DBMS TokuDB, based on Percona Server 5.7 with more features

Language:C++License:NOASSERTIONStargazers:315Issues:0Issues:0

learningPySpark

Code base for the Learning PySpark book (in preparation)

Language:Jupyter NotebookLicense:GPL-3.0Stargazers:621Issues:0Issues:0

PLAI-cn

Programming Languages: Application and Interpretation

Stargazers:232Issues:0Issues:0

prometheus

The Prometheus monitoring system and time series database.

Language:GoLicense:Apache-2.0Stargazers:53937Issues:0Issues:0