Kensuke-Hinata

statistic

collecting books, papers and docs.

miscellaneous

just for fun

argo-workflows

Workflow engine for Kubernetes

arrow

Apache Arrow is a multi-language toolbox for accelerated data interchange and in-memory processing

axum

Ergonomic and modular web framework built with Tokio, Tower, and Hyper

carbon-lang

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

CMinor-Verifier

2022 年春季学期清华大学《软件分析与验证》课程实验平台

connector-x

Fastest library to load data from DB to DataFrames in Rust and Python

ctf-wiki

Come and join us, we need you!

etcd

Distributed reliable key-value store for the most critical data of a distributed system

jupyterhub

Multi-user server for Jupyter notebooks

jupyterlab

JupyterLab computational environment.

kubernetes

Production-Grade Container Scheduling and Management

OI-wiki

:star2: Wiki of OI / ICPC for everyone. （某大型游戏线上攻略，内含炫酷算术魔法）

polars

Fast multi-threaded DataFrame library in Rust | Python | Node.js

Tai-e

An easy-to-learn/use static analysis framework for Java

vim

vim config

wa

🇨🇳 凹语言™ The Wa Programming Language

bcc

BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more

bpftrace

High-level tracing language for Linux eBPF

coding-competitions-archive

Google Coding Competitions problem archive

codon

A high-performance, zero-overhead, extensible Python compiler using LLVM

cpcontests

Library of my solutions for various programming contests

deeplang

Deeplang is a new language for IoT device programming.

grammars-v4

Grammars written for ANTLR v4; expectation that the grammars are free of actions.

hcl

HCL is the HashiCorp configuration language.

perf-tools

Performance analysis tools based on Linux perf_events (aka perf) and ftrace

prajna

a program language for AI infrastructure

terraform

Terraform enables you to safely and predictably create, change, and improve infrastructure. It is an open source tool that codifies APIs into declarative configuration files that can be shared amongst team members, treated as code, edited, reviewed, and versioned.

TopCoder