Vladimír Štill (@vlstill)
github

vlstill

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    33
  • Global Rank 458,219 (Top 16 %)
  • Followers 30
  • Following 26
  • Registered over 11 years ago
  • Most used languages
    TeX
         44.4 %
    C++
         33.3 %
    Haskell
         11.1 %
    Perl
         11.1 %
  • Location 🇨🇿 Czechia
  • Country Total Rank 1,781
  • Country Ranking
    Haskell
         17
    TeX
         31
    Perl
         48
    C++
         251

Top repositories

1

pcc

Property Checking for Catch2
C++
9
star
2

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.
Haskell
9
star
3

texstyle

My collection of LaTeX styles
TeX
4
star
4

tedi

Memory-Model-Aware Analysis of Parallel Programs (PhD Thesis Proposal, September 2017)
TeX
3
star
5

aoc

Advent of Code
C++
3
star
6

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.
Perl
2
star
7

mgrthesis

Master thesis: Optimization of LLVM Bitcode fo Verification Using DIVINE Model Checker
TeX
1
star
8

presentations

My presentations for conferences and lectures.
TeX
1
star
9

ttk4145

Project and excercise work for TTK4145 Real-time Programming at NTNU Trondheim, spring semester 2014.
C++
1
star