8000 vlstill (vlstill) / Repositories · GitHub

Address: [go: up one dir, main page]

Include Form Remove Scripts Accept Cookies Show Images Show Referer Rotate13 Base64 Strip Meta Strip Title Session Cookies

More Web Proxy on the site http://driver.im/

Skip to content

Navigation Menu

Explore
By company size
By use case
By industry
View all solutions
Topics
- AI
- DevOps
- Security
- Software Development
- View all
Explore
- GitHub Sponsors
  Fund open source developers
- The ReadME Project
  GitHub community articles
Repositories
- Enterprise platform
  AI-powered developer platform
Available add-ons
Pricing

Search code, repositories, users, issues, pull requests...

Search

Clear

Search syntax tips

Provide feedback

We read every piece of feedback, and take your input very seriously.

Include my email address so I can be contacted

Saved searches

Use saved searches to filter your results more quickly

Name

Query

To see all available qualifiers, see our documentation.

Sign up

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session.

Dismiss alert

vlstill Follow

Overview Repositories 53 Projects 0 Packages 0 Stars 58

More

Overview
Repositories
Projects
Packages
Stars

vlstill

Follow

Vladimír Štill vlstill

Follow

P4 Compiler developer at Altera, an Intel Company. Programmer in C++, Haskell, Python, and more. Interested in programming languages design and compilation.

37 followers · 29 following

Altera, An Intel Company
Czech Republic
00:28 (UTC +02:00)
vstill.eu

Organizations

Block or report vlstill

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Add an optional note:

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Overview Repositories 53 Projects 0 Packages 0 Stars 58

More

Overview
Repositories
Projects
Packages
Stars

Type All

Select type

All Sources Forks Archived Can be sponsored 8000 Mirrors Templates

Language All

Select language

All C++ TeX Haskell Python Latte CSS C Java Nix Perl Shell

Sort Last updated

Select order

Last updated Name Stars

p4c Public
Forked from p4lang/p4c

P4_16 reference compiler

C++ Apache License 2.0 Updated Apr 17, 2025
p4-spec Public
Forked from p4lang/p4-spec

TeX Apache License 2.0 Updated Mar 17, 2025
web Public

My personal web page

TeX BSD 2-Clause "Simplified" License Updated Feb 12, 2023
cv Public

TeX Updated Feb 12, 2023
aoc Public

Advent of Code

haskell advent-of-code

C++ 2 Updated Dec 15, 2022
hsExprTest Public

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 teaching

Haskell 10 1 Other Updated Oct 19, 2022
step-eval Public
Forked from hmichelova/step-eval

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

Haskell GNU General Public License v3.0 Updated Aug 3, 2022
isapi.py Public

python teaching

Python Updated Feb 28, 2022
frag-utils Public

python postgresql teaching

Python BSD 2-Clause "Simplified" License Updated Feb 14, 2022
exprtest Public

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

python teaching

Python Other Updated Feb 6, 2022
memoize Public
Forked from tov/memoize

A Haskell memoization library

Haskell BSD 3-Clause "New" or "Revised" License Updated Jul 28, 2021
xmobar Public
Forked from mathstuf/xmobar

A minimalistic status bar

Haskell Other Updated Jul 14, 2021
pcc Public

Property Checking for Catch2

testing cpp

C++ 10 1 BSD 2-Clause "Simplified" License Updated Mar 11, 2021
interlos-web Public
Forked from zverinec/interlos-web

InterLoS website with online scoring system

Latte Updated Jan 27, 2021
presentations Public

My presentations for conferences and lectures.

latex

TeX 1 Updated Dec 3, 2020
feedie Public archive
Forked from meigrafd/feedie

IRC Bot to announce RSS FEEDS

Python 1 Updated Sep 26, 2020
phd-thesis Public

Analysis of Parallel C++ Programs

research thesis

TeX ADA0 Updated Aug 11, 2020
texstyle Public

My collection of LaTeX styles

latex

TeX 4 Updated May 17, 2020
fake-io Public

Haskell BSD 3-Clause "New" or "Revised" License Updated Dec 9, 2019
retrograde-is-muni Public
Forked from adamatousek/retrograde-is-muni

Userstyle for Information System of Masaryk University Brno.

CSS Updated Sep 22, 2019
aiohttp-mako Public archive
Forked from aio-libs/aiohttp-mako

mako template renderer for aiohttp.web

Python Apache License 2.0 Updated Sep 1, 2019
tedi Public

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

research thesis

TeX 3 Updated Jun 21, 2019
esp32 Public

cpp esp32

C++ Updated May 14, 2019
rapidcheck Public
Forked from emil-e/rapidcheck

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

C++ BSD 2-Clause "Simplified" License Updated Mar 12, 2019
pdsrobot Public

cpp esp32

C++ Updated Dec 15, 2018
sv-comp Public
Forked from sosy-lab/sv-comp

Information to reproduce results from SV-COMP

Apache License 2.0 Updated Nov 24, 2018
benchexec Public
Forked from sosy-lab/benchexec

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

Python Apache License 2.0 Updated Nov 15, 2018
sv-witnesses Public
Forked from sosy-lab/sv-witnesses

An Exchange Format for Verification Witnesses

C Apache License 2.0 Updated Oct 17, 2018
automata-tools Public
Forked from matejos/ISMU-Automata-Tools

Java Updated Oct 14, 2018
esp32-demo Public

A small demo project for esp32

cpp esp32

C++ Updated Sep 17, 2018

Previous Next

Footer

© 2025 GitHub, Inc.

Footer navigation

Terms
Privacy
Security
Status
Docs
Contact

You can’t perform that action at this time.

0