Simple Go WebDAV server.

Intelligently search in Python code

Simple tooling for marking deprecated functions or classes and re-routing to the new successors' instance.

The lightweight PyTorch wrapper for high-performance AI research. Scale your models, not the boilerplate.

Repositório destinado ao versionamento do Cloud Functions

Dapr is a portable, event-driven, runtime for building distributed applications across cloud and edge.

RT-Thread is an open source IoT operating system.

JUST

An HTTP request client that provides an axios like interface over top of node-fetch. Super lightweight. Supports proxies and all sorts of other stuff.

OliveTin is a web interface for running Linux shell commands.

Riemann Hypothesis in Lean

Formal specification and generation of verifiable binary parsers, message generators and protocol state machines.

Mongo DB, Angular CLI, .Net Core

Standardizing Service Mesh Value Measurement

A small data-driven game engine

ccache – a fast compiler cache

WasmEdge Runtime is a high-performance, extensible, and hardware optimized WebAssembly Virtual Machine for automotive, cloud, AI, and blockchain applications.

ROOT: analyzing, storing and visualizing big data, scientifically