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
Pinned Repositories
p4-spec
p4c
P4_16 reference compiler
aoc
Advent of Code
exprtest
A server for running tests for various kinds of exercises (programming, …)
hsExprTest
Automatic testing of small programming assignments and comparison of Haskell expressions and types based on QuickCheck. Intended for automated testing of homeworks on FI MUNI.
pcc
Property Checking for Catch2
phd-thesis
Analysis of Parallel C++ Programs
presentations
My presentations for conferences and lectures.
tedi
Memory-Model-Aware Analysis of Parallel Programs (PhD Thesis Proposal, September 2017)
texstyle
My collection of LaTeX styles
vlstill's Repositories
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.
vlstill/mgrthesis
Master thesis: Optimization of LLVM Bitcode fo Verification Using DIVINE Model Checker
vlstill/ttk4145
Project and excercise work for TTK4145 Real-time Programming at NTNU Trondheim, spring semester 2014.
vlstill/anytest
*Test
vlstill/archdeploy
Deployement tools for Archlinux
vlstill/automataChecker
vlstill/blog
My blog
vlstill/Catch2
A modern, C++-native, header-only, test framework for unit-tests, TDD and BDD - using C++11, C++14, C++17 and later (or C++03 on the Catch1.x branch)
vlstill/dbr
Distributed Benchmark Runner
vlstill/dipot
vlstill/geb
vlstill/hsVirtualIO
Haskell virtual IO operations (for testing)
vlstill/iibot
a bot based on [suckless] ii, auto-managed by bash
vlstill/isstat
Calculate more complex statistics based on points and marks in IS MUNI.
vlstill/llvm
Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated hourly.
vlstill/nix
Nix, the purely functional package manager
vlstill/nixpkgs
Nix Packages collection
vlstill/prolog
A prolog interpreter written in Haskell.
vlstill/studentsPrelude
Student's Prelude: beginner optimized Haskell Prelude & some associated modules.
vlstill/sv-benchmarks
vlstill/template-haskell-playground
vlstill/VFS
Virtual File System used in DIVINE