Giters
Vladimír Štill (vlstill)

vlstill

Geek Repo

34

followers

29

following

56

stars

Company:Altera, An Intel Company

Location:Czech Republic

Home Page:vstill.eu

Github PK Tool:Github PK Tool

Organizations
FPBrno
InstruktoriBrno
paradise-fi

Vladimír Štill's repositories

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.

Language:HaskellLicense:NOASSERTIONStargazers:9Issues:0Issues:0

pcc

Property Checking for Catch2

Language:C++License:BSD-2-ClauseStargazers:9Issues:2Issues:1

texstyle

My collection of LaTeX styles

Language:TeXStargazers:4Issues:0Issues:0

tedi

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

Language:TeXStargazers:3Issues:0Issues:0

aoc

Advent of Code

Language:C++Stargazers:2Issues:0Issues:0

presentations

My presentations for conferences and lectures.

Language:TeXStargazers:1Issues:5Issues:0

exprtest

A server for running tests for various kinds of exercises (programming, …)

Language:PythonLicense:NOASSERTIONStargazers:0Issues:2Issues:0

isapi.py

Language:PythonStargazers:0Issues:2Issues:0

phd-thesis

Analysis of Parallel C++ Programs

Language:TeXStargazers:0Issues:1Issues:0

aiohttp-mako

mako template renderer for aiohttp.web

License:Apache-2.0Stargazers:0Issues:0Issues:0

automata-tools

Language:JavaStargazers:0Issues:2Issues:0

benchexec

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0

cv

Language:TeXStargazers:0Issues:2Issues:0

esp32

Language:C++Stargazers:0Issues:0Issues:0

esp32-demo

A small demo project for esp32

Language:C++Stargazers:0Issues:0Issues:0

fake-io

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

feedie

IRC Bot to announce RSS FEEDS

Language:PythonStargazers:0Issues:1Issues:0

frag-utils

Language:PythonLicense:BSD-2-ClauseStargazers:0Issues:2Issues:0

interlos-web

InterLoS website with online scoring system

Language:LatteStargazers:0Issues:1Issues:0

memoize

A Haskell memoization library

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

p4-spec

License:Apache-2.0Stargazers:0Issues:0Issues:0

p4c

P4_16 reference compiler

Language:C++License:Apache-2.0Stargazers:0Issues:1Issues:0

pdsrobot

Language:C++Stargazers:0Issues:0Issues:0

rapidcheck

QuickCheck clone for C++ with the goal of being simple to use with as little boilerplate as possible.

Language:C++License:BSD-2-ClauseStargazers:0Issues:0Issues:0

retrograde-is-muni

Userstyle for Information System of Masaryk University Brno.

Language:CSSStargazers:0Issues:0Issues:0

step-eval

Tool for the step-by-step evaluation of basic Haskell expressions.

License:GPL-3.0Stargazers:0Issues:0Issues:0

sv-comp

Information to reproduce results from SV-COMP

License:Apache-2.0Stargazers:0Issues:0Issues:0

sv-witnesses

An Exchange Format for Verification Witnesses

Language:CLicense:Apache-2.0Stargazers:0Issues:0Issues:0

web

My personal web page

Language:TeXLicense:BSD-2-ClauseStargazers:0Issues:2Issues:0

xmobar

A minimalistic status bar

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:1Issues:0