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/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.
vlstill/pcc
Property Checking for Catch2
vlstill/texstyle
My collection of LaTeX styles
vlstill/tedi
Memory-Model-Aware Analysis of Parallel Programs (PhD Thesis Proposal, September 2017)
vlstill/aoc
Advent of Code
vlstill/presentations
My presentations for conferences and lectures.
vlstill/exprtest
A server for running tests for various kinds of exercises (programming, …)
vlstill/isapi.py
vlstill/phd-thesis
Analysis of Parallel C++ Programs
vlstill/aiohttp-mako
mako template renderer for aiohttp.web
vlstill/automata-tools
vlstill/benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
vlstill/cv
vlstill/esp32
vlstill/esp32-demo
A small demo project for esp32
vlstill/fake-io
vlstill/feedie
IRC Bot to announce RSS FEEDS
vlstill/frag-utils
vlstill/interlos-web
InterLoS website with online scoring system
vlstill/memoize
A Haskell memoization library
vlstill/p4c
P4_16 reference compiler
vlstill/pdsrobot
vlstill/publist
Generate publication list from BibLaTeX's bib files using Hakyll.
vlstill/rapidcheck
QuickCheck clone for C++ with the goal of being simple to use with as little boilerplate as possible.
vlstill/retrograde-is-muni
Userstyle for Information System of Masaryk University Brno.
vlstill/step-eval
Tool for the step-by-step evaluation of basic Haskell expressions.
vlstill/sv-comp
Information to reproduce results from SV-COMP
vlstill/sv-witnesses
An Exchange Format for Verification Witnesses
vlstill/web
My personal web page
vlstill/xmobar
A minimalistic status bar