Skip to content
View polasek's full-sized avatar
5 followers · 0 following
  • Cambridge, UK
Block or Report

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.

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

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 martinmoene/expected-lite

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

    C++

  6. test test Public