vlstill
P4 Compiler developer at Altera, an Intel Company. Programmer in C++, Haskell, Python, and more. Interested in programming languages design and compilation.
Altera, An Intel CompanyCzech Republic
vlstill's Stars
tomasrichter/proof-validator
Repository for bachelor thesis
teaching-lab/reflective-diary
Teacher's Reflective Diary (developed by the Teaching Lab community at the Faculty of Informatics, Masaryk University)
xvitovs1/thesis
Master thesis: Instrumentation of LLVM IR
paradise-fi/bricks
Header-only C++ utility library
cplusplus/draft
C++ standards drafts
teleshoes/tpacpi-bat
ThinkPad ACPI Battery Util
bretthall/Wyatt-STM
Software transactional memory system developed at Wyatt Technology
nidhugg/nidhugg
Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is particularly useful for programs written in C/pthreads. Currently Nidhugg supports the SC, TSO, PSO, POWER and ARM (partial) memory models.
staticafi/mamato
View and browse results from benchexec
mpark/patterns
This is an experimental library that has evolved to P2688
lifting-bits/mcsema
Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode
xlauko/diploma-thesis
fay59/fcd
An optimizing decompiler
ahmedbougacha/dagger
Binary Translator to LLVM IR
paradise-fi/dipot
Interface between SPOT and DIVINE
kframework/llvm-semantics
Formal semantics of LLVM IR in K
rh-lab-q/bkrdoc
This project aims to provide tools for automated documentation generation for BeakerLib tests.
matejos/ISMU-Automata-Tools
Repository of Master's thesis at https://is.muni.cz/auth/th/422476/fi_m
spito/VFS
Virtual File System used in DIVINE
mchalupa/dg
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
sto/ngx_http_auth_pam_module
Nginx module to use PAM for simple http authentication
eliben/llvm-clang-samples
UNMAINTAINED: Examples of using the LLVM and Clang compilation libraries and tools
paradise-fi/SymDIVINE
No longer maintained: Verification tool for parallel C/C++ programs with LTL support
tautschnig/cprover-debian
Experiments on all Debian Packages using cprover.org Tools
vlstill/irssiScripts
Some usefull scripts I created for use with great IRC client irssi. So far not really usefull for someone else as they are missing configuration.
hgoes/nbis
A SMT based LLVM code checker