Prague
a project by vbabka
Nothing at the moment
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)
almost 8 years ago: vbabka joined crash-python
over 8 years ago: vbabka joined gdb python target / binding to libkdumpfile
about 9 years ago: vbabka liked Let’s Encrypt integration into openSUSE/SLE
about 9 years ago: vbabka liked Kernel-CI
about 9 years ago: vbabka liked Assembly Diff Tool for kGraft
about 9 years ago: vbabka liked Multimedia insane migration
about 9 years ago: vbabka liked Turbulent Molecular Dynamics Simulations in C
about 9 years ago: vbabka liked Learn Haskell by creating an interpreter
about 9 years ago: vbabka liked Dive into Linux Kernel Memory management
about 9 years ago: vbabka liked Microcorruption CTF
about 9 years ago: vbabka liked libkdumpfile/gdb-kdump improvements
about 9 years ago: vbabka liked Learn Coccinelle
about 9 years ago: vbabka liked Look at Static Code Analysis and Code Coverage for C++
about 9 years ago: vbabka liked kGraft analysis tool
about 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 "codeverification" to Try to model check gfp_flags with cbmc
over 9 years ago: vbabka started Try to model check gfp_flags with cbmc
Picopad development
