Kensuke-Hinata

Kensuke-Hinata

argo-workflows

Workflow engine for Kubernetes

arrow

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

arrow-datafusion

Apache Arrow DataFusion and Ballista query engines

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 年春季学期清华大学《软件分析与验证》课程实验平台

ctf-wiki

Come and join us, we need you!

cython

The most widely used Python to C compiler

dask

Parallel computing with task scheduling

distributed

A distributed task scheduler for Dask

etcd

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

eventlet

Concurrent networking library for Python

fastapi

FastAPI framework, high performance, easy to learn, fast to code, ready for production

gevent

Coroutine-based concurrency library for Python

gunicorn

gunicorn 'Green Unicorn' is a WSGI HTTP Server for UNIX, fast clients and sleepy applications.

jupyterhub

Multi-user server for Jupyter notebooks

jupyterlab

JupyterLab computational environment.

kubernetes

Production-Grade Container Scheduling and Management

polars

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

sanic

Async Python 3.7+ web server/framework | Build fast. Run fast.

sqlalchemy

The Database Toolkit for Python

starlette

The little ASGI framework that shines. 🌟

Tai-e

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

twisted

Event-driven networking engine written in Python.

uvicorn

The lightning-fast ASGI server. 🦄

uvloop

Ultra fast asyncio event loop.

bpftrace

High-level tracing language for Linux eBPF

deeplang

Deeplang is a new language for IoT device programming.

perf-tools

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