Repositories list

• linux

  Public
  Linux kernel source tree

  C

  •

  Other

  •54k•0•0•0•Updated Oct 31, 2024Oct 31, 2024

• linux-dev-env

  Public
  Shell

  •5•1•0•0•Updated Oct 30, 2024Oct 30, 2024

• rosalab.github.io

  Public
  SCSS

  •

  MIT License

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

• bmc-cache

  Public
  In-kernel cache based on eBPF.

  C

  •

  GNU Lesser General Public License v2.1

  •46•0•0•0•Updated Aug 23, 2024Aug 23, 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++

  •8•0•0•0•Updated Nov 27, 2023Nov 27, 2023