viktormalik

Viktor Malík's repositories

git-workshop

Workshop! Read README in the readme branch for more details.

Language:TeXMIT5 4 1

DynamicAnalyzer

Dynamic software analysis using library calls.

Language:C++3 20

bpftrace

High-level tracing language for Linux eBPF

Language:C++Apache-2.02 10

vagrant-bpf-next

Vagrant box for bpf-next development

Language:ShellApache-2.02 20

cda-slides

Slides for the BCA

Language:JavaScript1 10

rhel-kernel-get

A tool for downloading and preparing RHEL-based and upstream Linux kernels.

Language:PythonApache-2.01 2 1

2ls

Static Analyzer and Verifier

Language:C++NOASSERTION03 2

advent-of-code

My solutions to the Advent of Code tasks

Language:RustMIT020

at-st

Automated testing of programming tasks

Language:RustApache-2.0020

cbmc

C Bounded Model Checker

Language:C++NOASSERTION020

content-resolver-input

Configuration files for Feedback Pipeline

Language:Python000

cprover-sv-comp

CPROVER wrappers and configuration for the Software Verification Competition (SV-COMP)

Language:PHP020

git-workshop-2024

Language:C000

inkscape-generator

Tool for generating permutations of objects in Inkscape documents

Language:ShellApache-2.0010

llreve

Automatic regression verification for LLVM programs

Language:C++NOASSERTION020

llvm

Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated every five minutes.

Language:LLVMNOASSERTION020

llvmcpy

Python bindings for LLVM auto-generated from the LLVM-C API

Language:PythonMIT020

SPEF

Language:Python010

templaar

CLI tool for creating text files from templates

Language:RustMIT010