8000 polasek (Jan Polášek) · GitHub
[go: up one dir, main page]
Skip to content
< 8000 div class="user-profile-sticky-bar">
View polasek's full-sized avatar
5 followers · 0 following
  • Cambridge, UK

Achievements

Achievement: Pull SharkAchievement: Quickdraw

Achievements

Achievement: Pull SharkAchievement: Quickdraw

Block or report polasek

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. This note will only be visible to you.
Report abuse

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

Report abuse

Popular repositories Loading

  1. idris-scientific idris-scientific Public

    Exploring the potential use of dependent types in scientific programming.

    Idris 5 1

  2. tscheme tscheme Public

    6.945 final project - a scheme interpreter with type inference

    Scheme

  3. minimal minimal Public

    Forked from pages-themes/minimal

    Minimal is a Jekyll theme for GitHub Pages

    CSS

  4. advent-of-code advent-of-code Public

  5. expected-lite expected-lite Public

    Forked from nonstd-lite/expected-lite

    expected lite - Expected objects in C++11 and later in a single-file header-only library

    C++

  6. test test Public

0