A cross-platform TODO terminal app

Kubernetes Control Plane Virtual IP and Load-Balancer

A showcase C/C++ embedded project demonstrating CI/CD practices

Auto discovers the running environment and serves the Kubernetes clientSet interface for interaction.

⚡️⚡️⚡️Blazing fast correlation functions on the CPU.

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.

A javascript&typescript library with basic function, structs/models and classes.

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

An R package for the Extended Date/Time Format (EDTF)

🧰 A zero trust swiss army knife for working with X509, OAuth, JWT, OATH OTP, etc.

The Core Flight System (cFS)

JanusGraph is a highly scalable graph database optimized for storing and querying large graphs with billions of vertices and edges distributed across a...