sighingnow

followers

following

stars

@alibaba

Beijing, China

https://sighingnow.github.io

Organizations

BHOSC

chat-team

etcd-cpp-apiv3

v6d-io

Tao He's starred repositories

postgrest

REST API for any Postgres database

Language:HaskellMIT23243 341 1738

talent-plan

open source training courses about distributed database and distributed systems

Language:Rust10101 253 181

STL

MSVC's implementation of the C++ Standard Library.

Language:C++NOASSERTION10056 251 2049

einops

Flexible and powerful tensor operations for readable and reliable code (for pytorch, jax, TF and others)

Language:PythonMIT8376 67 176

xhyve

xhyve, a lightweight OS X virtualization solution

Language:CNOASSERTION6440 196 141

go-mysql-elasticsearch

Sync MySQL data into elasticsearch

Language:GoMIT4106 177 317

timely-dataflow

A modular implementation of timely dataflow in Rust

Language:RustMIT3256 86 176

glow

Compiler for Neural Network hardware accelerators

Language:C++Apache-2.03206 153 827

dbg-macro

A dbg(…) macro for C++

Language:C++MIT2966 51 64

dex-lang

Research language for array processing in the Haskell/ML family

Language:HaskellBSD-3-Clause1576 56 360

occlum

Occlum is a memory-safe, multi-process library OS for Intel SGX

Language:RustNOASSERTION1371 45 526

BUAAthesis

北航毕设论文LaTeX模板

Language:TeXNOASSERTION996 37 175

TenSEAL

A library for doing homomorphic encryption operations on tensors

Language:C++Apache-2.0807 21 247

linux_kernel_cves

Tracking CVEs for the linux Kernel

Language:VueApache-2.0738 63 275

TASO

The Tensor Algebra SuperOptimizer for Deep Learning

Language:C++Apache-2.0687 24 78

LightCTR

Lightweight and Scalable framework that combines mainstream algorithms of Click-Through-Rate prediction based computational DAG, philosophy of Parameter Server and Ring-AllReduce collective communication.

Language:C++Apache-2.0674 59 10

frap

Formal Reasoning About Programs

Language:CoqNOASSERTION658 46 27

easy-just-in-time

LLVM Optimization to extract a function, embedded in its intermediate representation in the binary, and execute it using the LLVM Just-In-Time compiler.

Language:C++BSD-3-Clause510 23 17

namedtensor

Named Tensor implementation for Torch

Language:Jupyter NotebookMIT441 22 31

libgrape-lite

🍇 A C++ library for parallel graph processing (GRAPE) 🍇

Language:C++Apache-2.0380 24 31

ega

amateur translation project of Grothendieck's EGA.

Language:TeX323 29 71

llvm-project-cxxjit

Clang with JIT extensions

Language:C++228 21 24

stx-btree

OBSOLETE, contained in https://github.com/tlx/tlx - STX B+ Tree C++ Template Classes -

Language:HTMLGPL-3.0212 22 5

cpython-lldb

LLDB extension for debugging Python programs

Language:PythonMIT77 8 7

peppermint-prover

Experimental proof assistant (and architecture) for dependent linear logic

Language:HaskellBSD-3-Clause47 5 1

OSDT-Slides

OSDT社区（HelloGCC、HelloLLVM）组织的活动中的报告

NOASSERTION46 100

docs

Project Z, an initiative to build a Haskell engineering eco-system.

Language:HTMLNOASSERTION25 8 4

hsreduce

Minimizing Haskell programs for easier debugging of GHC compiler crashes

Language:HaskellBSD-3-Clause22 1 10

ghc-trace-events

ByteString/Text variants of Debug.Trace.traceEvent/traceMarker and binary event logging

Language:HaskellBSD-3-Clause7 4 2

qemu-1.7-curling

KVM Fault Tolerance

Language:CNOASSERTION1 30