Name: Viktor Malík
Type: User
Company: Red Hat
Bio: Software engineer at Red Hat. PhD from Brno University of Technology. Doing BPF tracing, static analysis, formal verification.
Twitter: ViktorMalikSK
Location: Brno, Czech Republic
2ls
Static Analyzer and Verifier
advent-of-code
My solutions to the Advent of Code tasks
at-st
Automated testing of programming tasks
bpftrace
High-level tracing language for Linux eBPF
cbmc
C Bounded Model Checker
cda-slides
Slides for the BCA
content-resolver-input
Configuration files for Feedback Pipeline
cprover-sv-comp
CPROVER wrappers and configuration for the Software Verification Competition (SV-COMP)
dynamicanalyzer
Dynamic software analysis using library calls.
git-workshop
Workshop! Read README in the readme branch for more details.
git-workshop-2024
inkscape-generator
Tool for generating permutations of objects in Inkscape documents
llreve
Automatic regression verification for LLVM programs
llvm
Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated every five minutes.
llvmcpy
Python bindings for LLVM auto-generated from the LLVM-C API
rhel-kernel-get
A tool for downloading and preparing RHEL-based and upstream Linux kernels.
spef
templaar
CLI tool for creating text files from templates
vagrant-bpf-next
Vagrant box for bpf-next development
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
