aztecher

aztecher's Stars

• jwasham/coding-interview-university

  A complete computer science study plan to become a software engineer.

  304k8.8k44176.4k

• NVIDIA/open-gpu-kernel-modules

  NVIDIA Linux open GPU kernel module source

  Language:C15k1763351.2k

• bensadeh/tailspin

  🌀 A log file highlighter

  Language:Rust5.8k186094

• aya-rs/aya

  Aya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.

  Language:Rust3.1k46286269

• TimelyDataflow/differential-dataflow

  An implementation of differential dataflow using timely dataflow on Rust.

  Language:Rust2.5k48156183

• mcinglis/c-style

  My favorite C programming practices.

  2k48797

• vmware/differential-datalog

  DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not write incremental algorithms; instead they specify the desired input-output mapping in a declarative manner.

  Language:Java1.4k31415117

• spacejam/tla-rust

  writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+

  Language:TLA1k44326

• google/crosvm

  The Chrome OS Virtual Machine Monitor - Mirror of https://chromium.googlesource.com/crosvm/crosvm/

  Language:Rust78317091

• mikeroyal/eBPF-Guide

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

  Language:Go52213043

• bpfman/bpfman

  An eBPF Manager for Linux and Kubernetes

  Language:Rust4991333642

• open-telemetry/opentelemetry-network

  eBPF Collector

  Language:C++269245144

• bobuhiro11/gokvm

  KVM based tiny x86 hypervisor written in pure golang, which can boot Linux

  Language:Go19971421