Packet, where are you? -- eBPF-based Linux kernel networking debugger

Various hacks on top of netperf.

Hubble - Network, Service & Security Observability for Kubernetes using eBPF

eBPF-based Networking, Security, and Observability

ebpf.io Website

Kami - a DSL for designing Hardware in Coq, and the associated semantics and theorems for proving its correctness. Kami is inspired by Bluespec. It is actually a complete rewrite of an older versio…

This is originally a collection of papers on neural network accelerators. Now it's more like my selection of research on deep learning and computer architecture.

A hybrid thread / fiber task scheduler written in C++ 11

Nix Packages collection & NixOS

BPF Tools - packet analyst toolkit

Rust library to use x86 (amd64) specific functionality and registers.

A partial clone of 2D Star Dodge

A simple star dodge game clone.

Multiplayer Dots and Boxes build in Elm. Up to 5 players and spectator mode.

The SparseX sparse kernel optimization library

The C Code Archive Network

gcc plugin that draws a graph of OpenMP constructs

a language for parsing using python

Compressed Sparse eXtended (CSX) sparse matrix format. This proof-of-concept version is now deprecated. It has been replaced from the SparseX sparse kernel optimization library [https://github.com/…