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