isabella232 Goto Github PK

k-mkr-authority

Formal Verification of MkrAuthority contract

k-nn

🆕 Find the k-nearest neighbors (k-NN) for your vector data

k-osm

verification of the oracle security module

k-osm-mom

Formal verification of OsmMom contract

k-scd-mcd-migration

Formal verification for the scd to mcd migration

k-versus-evm

k-vs-coq-language-frameworks

k-way-merge

Ruby implementation of K-Way Merge algorithm with support for streaming evaluation.

k-web-theme

k-zrx

k12-architecture-kit

K12 Data Architecture

k15apidemo

K15APIDemo

k16-dd-order-tracking

k2v8

Library for converting objects between Kotlin and J2V8

k3-image-gen

k3d

Little helper to run Rancher Lab's k3s in Docker

k3d-action

A GitHub Action to run lightweight ephemeral Kubernetes clusters during workflow. Fundamental advantage of this action is a full customization of embedded k3s clusters. In addition, it provides a private image registry and multi-cluster support.

k3d-local-registry

Easy set-up (via k3d) for k3s cluster with local registry for use with Tilt

k3os

Purpose-built OS for Kubernetes, fully managed by Kubernetes.

k3os-aws-kernel

k3os-initrdfs

k3os-kernel

The kernel of k3os

k3os-rootfs

k3s

Lightweight Kubernetes

k3s-ansible

k3s-root

K3s agent user space binaries

k3s-selinux

SELinux policy for k3s

k3s-test-env

Scripts for setting up a local k3s cluster

k3s-upgrade

k4l-video-trimmer

A library with UI and mechanisms to trim local videos on Android applications.