vbabka

Prague

No project is matching your keywords yet, try adding some more on the right.

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