KCL Programming Language (CNCF Sandbox Project). https://kcl-lang.io

QuestDB is a high performance, open-source, time-series database

Ansible is a radically simple IT automation platform that makes your applications and systems easier to deploy and maintain. Automate everything from code deployment to network configuration to clo…

System provider for terraform (local system resources)

Consul Load-Balancing made simple

Unified ingress for developers

Lens - The way the world runs Kubernetes

A library for efficient similarity search and clustering of dense vectors.

The Motoko base library

A curated list of awesome projects and resources relating to the Internet Computer Protocol

An advanced crypto trading bot written in Python

Utilities for working with image data, text data, and sequence data.

Flang is a Fortran language front-end designed for integration with LLVM.

GraalPy – A high-performance embeddable Python 3 runtime for Java

The Python programming language

A static analyzer for Java, C, C++, and Objective-C

Polyglot CUDA integration for the GraalVM

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

Gradle plugin to create fat/uber JARs, apply file transforms, and relocate packages for applications and libraries. Gradle version of Maven's Shade plugin.

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Haskell98 indexed functors, monads, comonads

A library which is not recognized as citizen of any infrastructure.

Joystream Full Node

A transparent, highly scalable and cryptographically verifiable data store.

Polkadot Node Implementation

Substrate: The platform for blockchain innovators

Oscoin Full Node Implementation in Haskell (Work in Progress)

Programming Language for Smart Legal Contracts

libp2p implementation in Go