vbabka

vbabka

Prague

4
7
3
30

Looking for projects around:

Nothing at the moment

Activity

  • about 1 year ago: vbabka liked early stage kdump support
  • about 1 year ago: vbabka started Picopad development
  • about 1 year ago: vbabka originated Picopad development
  • almost 2 years ago: vbabka disliked Dochazka
  • over 2 years ago: vbabka liked consolidate mm debugging tools and package them
  • over 2 years ago: vbabka liked Open Source Firmware for EV chargers using the ESP32 Chip (Autoaid / EN-Plus / EVSEDO)
  • over 7 years ago: vbabka joined crash-python
  • over 8 years ago: vbabka joined gdb python target / binding to libkdumpfile
  • almost 9 years ago: vbabka liked Let’s Encrypt integration into openSUSE/SLE
  • almost 9 years ago: vbabka liked Kernel-CI
  • almost 9 years ago: vbabka liked Assembly Diff Tool for kGraft
  • almost 9 years ago: vbabka liked Multimedia insane migration
  • almost 9 years ago: vbabka liked Turbulent Molecular Dynamics Simulations in C
  • almost 9 years ago: vbabka liked Learn Haskell by creating an interpreter
  • almost 9 years ago: vbabka liked Dive into Linux Kernel Memory management
  • almost 9 years ago: vbabka liked Microcorruption CTF
  • almost 9 years ago: vbabka liked libkdumpfile/gdb-kdump improvements
  • almost 9 years ago: vbabka liked Learn Coccinelle
  • almost 9 years ago: vbabka liked Look at Static Code Analysis and Code Coverage for C++
  • almost 9 years ago: vbabka liked kGraft analysis tool
  • almost 9 years ago: vbabka joined libkdumpfile/gdb-kdump improvements
  • over 9 years ago: vbabka added keyword "modelchecking" to Try to model check gfp_flags with cbmc
  • over 9 years ago: vbabka added keyword "modelchecking" to Try to model check gfp_flags with cbmc
  • over 9 years ago: vbabka added keyword "codeverification" to Try to model check gfp_flags with cbmc
  • over 9 years ago: vbabka started Try to model check gfp_flags with cbmc
  • All Activity