rxacevedo

microk8s

MicroK8s is a small, fast, single-package Kubernetes for datacenters and the edge.

k3k

Kubernetes in Kubernetes

yubihsm-shell

yubihsm-shell and libyubihsm

emoji_manager

Custom emoji management for Enterprise Slack users

gh-runner-krunvm

Fully isolated microVM-based self-hosted GitHub runners

kwok

Kubernetes WithOut Kubelet - Simulates thousands of Nodes and Clusters.

groqnotes

GroqNotes: Generate organized notes from audio using Groq, Whisper, and Llama3

biome

A toolchain for web projects, aimed to provide functionalities to maintain them. Biome offers formatter and linter, usable via CLI and LSP.

flintlock

Lock, Stock, and Two Smoking MicroVMs. Create and manage the lifecycle of MicroVMs backed by containerd.

LLM101n

LLM101n: Let's build a Storyteller

kubitect

Kubitect provides a simple way to set up a highly available Kubernetes cluster across multiple hosts.

fk-covid

Firekube distro with COVID-Net ML

yamllm

redis3

A one-afternoon implementation of redis-like primitives with S3 Express

attic

Multi-tenant Nix Binary Cache

eBPF-Guide

eBPF (extended Berkeley Packet Filter) Guide. Learn all about the eBPF Tools and Libraries for Security, Monitoring , and Networking.

nats-gateway

S3 API compatible NATS Object Store

kratos-service

Example single node kratos service

rr

Record and Replay Framework

py-caskdb

(educational) build your own disk based KV store

krata

krata is an isolation engine for securing compute workloads

nexus-zkvm

The Nexus zkVM: The zero-knowledge virtual machine

arweave

The Arweave server and App Developer Toolkit.

coq-of-python

Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.

coq-of-rust

Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦

awesome-dat

Community curated resources for Dat Project [ DEPRECATED - More info on active projects and modules at https://dat-ecosystem.org/ ]

mentat

UNMAINTAINED A persistent, relational store inspired by Datomic and DataScript.

fusion

A lightweight, self-hosted friendly RSS aggregator and reader

ceph-cheatsheet

All™ you ever wanted to know about operating a Ceph cluster!

nomad-gitops-operator

A GitOps operator for Hashicorp Nomad