Pinned Repositories
AI_slicing
bug-types
claburedb-frontend
Web frontend for claburedb.fi.muni.cz
clang-struct
collected_sources
This is a set of a wide range of sources I've ever written for whatever purpose
kernedu
Helper for understanding kernel internals
ksplice
Patch kernel without rebooting
LLVMSlicer
Static Slicer for LLVM
pb173
pb173 course examples
stanse
Error-finding tool based on static analysis
jirislaby's Repositories
jirislaby/collected_sources
This is a set of a wide range of sources I've ever written for whatever purpose
jirislaby/kernedu
Helper for understanding kernel internals
jirislaby/clang-struct
jirislaby/claburedb-frontend
Web frontend for claburedb.fi.muni.cz
jirislaby/klee
KLEE Symbolic Virtual Machine
jirislaby/slaby-scripts
Collected scripts
jirislaby/af9035
jirislaby/anyio
High level asynchronous concurrency and networking framework that works on top of either trio or asyncio
jirislaby/ccache
ccache – a fast compiler cache
jirislaby/clang-sa
Clang Static Analyzer Trials
jirislaby/containers
jirislaby/ftdi-mpsse
MPSSE implemented on the top of libftdi
jirislaby/git-fixes-db
jirislaby/ifoxtrot-qt
Control Tecomat iFoxtrot
jirislaby/installation-images
openSUSE Installation Images
jirislaby/liburing
Library providing helpers for the Linux kernel io_uring support
jirislaby/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
jirislaby/lsof
LiSt Open Files
jirislaby/mdb
jirislaby/osc
The Command Line Interface to work with an Open Build Service
jirislaby/pktriggercord
Remote control for Pentax DSLR cameras
jirislaby/po-bug
jirislaby/psi
XMPP client
jirislaby/rsync
An open source utility that provides fast incremental file transfer. It also has useful features for backup and restore operations among many other use cases.
jirislaby/slucto
Simple personal accounting
jirislaby/stansec
jirislaby/stp
Simple Theorem Prover.
jirislaby/teco_scripts
Various scripts for tecomat foxtrot
jirislaby/trinity
Linux system call fuzzer
jirislaby/vim
The official Vim repository