Name: Vladimír Štill
Type: User
Company: Altera, An Intel Company
Bio: P4 Compiler developer at Altera, an Intel Company. Programmer in C++, Haskell, Python, and more. Interested in programming languages design and compilation.
Location: Czech Republic
Blog: vstill.eu
Vladimír Štill's Projects
mako template renderer for aiohttp.web
*Test
Advent of Code
Deployement tools for Archlinux
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
My blog
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)
Distributed Benchmark Runner
A small demo project for esp32
A server for running tests for various kinds of exercises (programming, …)
IRC Bot to announce RSS FEEDS
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.
Haskell virtual IO operations (for testing)
a bot based on [suckless] ii, auto-managed by bash
InterLoS website with online scoring system
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.
Calculate more complex statistics based on points and marks in IS MUNI.
Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated hourly.
A Haskell memoization library
Master thesis: Optimization of LLVM Bitcode fo Verification Using DIVINE Model Checker
Nix, the purely functional package manager