jirislaby/pb173-bin
Public repository.
Developer Profile
jirislaby
Discovered public repositories for jirislaby in the GitHub catalog.
jirislaby/kernedu
Helper for understanding kernel internals
jirislaby/L2cap
Mobile phone to Linux input layer over L2cap (Bluetooth)
jirislaby/svc13
Public repository.
jirislaby/ksplice
Patch kernel without rebooting
jirislaby/claburedb-frontend
Web frontend for claburedb.fi.muni.cz
jirislaby/pb173
pb173 course examples
jirislaby/LLVMSlicer
Static Slicer for LLVM
jirislaby/slaby-scripts
Collected scripts
jirislaby/collected_sources
This is a set of a wide range of sources I've ever written for whatever purpose
jirislaby/AI_slicing
Public repository.
jirislaby/bug-types
Public repository.
jirislaby/stanse
Error-finding tool based on static analysis