Repositories list

• linux

  Public
  Linux kernel source tree

  C

  •

  Other

  •55k•0•0•0•Updated Mar 24, 2025Mar 24, 2025

• attach-bpf

  Public
  C

  •10•0•0•0•Updated Mar 3, 2025Mar 3, 2025

• dynamic-cg

  Public
  C

  •10•0•0•0•Updated Mar 3, 2025Mar 3, 2025

• saterm

  Public
  C

  •10•0•0•0•Updated Jan 14, 2025Jan 14, 2025

• linux-dev-env

  Public
  Shell

  •10•2•0•0•Updated Dec 28, 2024Dec 28, 2024

• bmc-cache

  Public
  In-kernel cache based on eBPF.

  C

  •

  GNU Lesser General Public License v2.1

  •48•0•0•0•Updated Dec 8, 2024Dec 8, 2024

• rosalab.github.io

  Public
  SCSS

  •

  MIT License

  •0•0•3•0•Updated Sep 9, 2024Sep 9, 2024

• static-analysis-reading

  Public
  A static analysis/program analysis/formal verification reading group.

  0•0•0•0•Updated Aug 20, 2024Aug 20, 2024

• bpf-info

  Public
  All the information we have about bpf, in one happy spot.

  JavaScript

  •0•0•0•0•Updated Jul 18, 2024Jul 18, 2024

• hyperkernel

  Public
  C

  •25•0•0•0•Updated Apr 22, 2024Apr 22, 2024

• callgraph_generator

  Public archive
  C++

  •0•0•0•0•Updated Apr 15, 2024Apr 15, 2024

• tui-sysinfo

  Public
  Python

  •0•0•0•0•Updated Mar 31, 2024Mar 31, 2024

• reading-group

  Public
  Abstraction Explorers Guild - A systems reading group

  0•0•0•0•Updated Feb 21, 2024Feb 21, 2024

• Electrode

  Public
  C++

  •9•0•0•0•Updated Nov 27, 2023Nov 27, 2023