skaslev

gl3w

Simple OpenGL core profile loading

catmull-clark

Catmull-Clark subdivision surfaces demo

thru

thru measures throughput between guest vm and host using fifo/tcp/udp/vsock

fract

pyman

Yet another school project - Mandelbrot viewer in Python

vimrc

My vim configuration

kubectl-watch

kubectl plugin for watching cluster resource changes

proofs-talk

Code and slides from the talk "Introduction to Theorem Proving in Lean"

zero-to-zipper

Zero To Zipper Code and Slides

papers

Papers

articles

Miscellaneous articles. The readme is the table of contents.

chromedp

A faster, simpler way to drive browsers supporting the Chrome DevTools Protocol.

codesearch

Fast, indexed regexp search over large file trees

contour

Contour is a Kubernetes ingress controller using Lyft's Envoy proxy.

controller-tools

Tools to use with the controller-runtime libraries

dotemacs

.emacs

euclid

An extremely naive prime factorizer

grpc

The C based gRPC (C++, Python, Ruby, Objective-C, PHP, C#)

meltdown

This repository contains several applications, demonstrating the Meltdown bug.

net-contour

A Knative ingress controller for Project Contour

net-istio

A Knative ingress controller for Istio.

pkg

Knative common packages

presburger

Decision procedures for Presburger arithmetic in Haskell

qasync

Python library for using asyncio in Qt-based applications.

serving

Kubernetes-based, scale-to-zero, request-driven compute

serving-operator

trace-cmd

versor

Versor Geometric Algebra Library

wlocate

Faster locate/updatedb alternative

yt-dlp

A youtube-dl fork with additional features and fixes