Pinned Repositories
algorithmica
A computer science textbook
Awesome-LLM-Compression
Awesome LLM compression research papers and tools.
capnproto
Cap'n Proto serialization/RPC system
ceramist
Verified hash-based AMQ structures in Coq
kerneltime's Repositories
kerneltime/capnproto
Cap'n Proto serialization/RPC system
kerneltime/datamon-1
Datamon manages infinite reflections of data
kerneltime/derecho-unified
The main code repository for the Derecho project.
kerneltime/DevSetup
Playground for me.. go away!
kerneltime/docker
Docker - the open-source application container engine
kerneltime/docker-volume-vsphere
Docker Volume Driver for vSphere.
kerneltime/fuse
A Go package for implementing a FUSE file system.
kerneltime/gcsfuse
A user-space file system for interacting with Google Cloud Storage
kerneltime/go-git-http-xfer
Implements Git HTTP Transport.
kerneltime/go-httpd
kerneltime/go-immutable-radix
An immutable radix tree implementation in Golang
kerneltime/grpc
The C based gRPC (C++, Node.js, Python, Ruby, Objective-C, PHP, C#)
kerneltime/kerneltime.github.io
Playground
kerneltime/kubeless
Kubernetes Native Serverless Framework
kerneltime/kubernetes
Container Cluster Manager from Google
kerneltime/kubernetes-anywhere
{concise,reliable,cross-platform} turnup of Kubernetes clusters
kerneltime/kubernetes.github.io
Website/documentation repo
kerneltime/lcfs
LCFS Graph driver for Docker
kerneltime/photon
Minimal Linux container host
kerneltime/probability_cheatsheet
A comprehensive 10-page probability cheatsheet that covers a semester's worth of introduction to probability.
kerneltime/rayon
Rayon: A data parallelism library for Rust
kerneltime/spielbash
Tool to automate bash movie-making with asciinema. Be the Spielberg of bash.
kerneltime/stateful-containers-meetup
Meetup for discussing stateful containers
kerneltime/vmware.github.io
kerneltime/wangle
Wangle is a framework providing a set of common client/server abstractions for building services in a consistent, modular, and composable way.