Skip to content
View wkolowski's full-sized avatar

Block or report wkolowski

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
wkolowski/README.md

Map of all my stuffs / Mapa wszystkich moich rzeczy

EN: Below is a map of my most interesting writings -- books, seminar notes, talk slides and so on. Some of these are in English, while others are in Polish. There are also some links to my most interesting repos.

PL: Poniżej jest mapa moich najbardziej interesujących tekstów -- książek, notatek na seminaria, slajdów do wystąpień, etc. Niektóre są po angielsku, a inne po polsku. Jest też trochę linków do moich najbardziej interesujących repozytoriów.

In English

Theses

Seminar talk slides

Seminar talk notes

Coq projects not related to my theses

Research notes

Other

Po polsku

Książka

Slajdy z wystąpień na seminariach

(Interaktywne) notatki

Slajdy do prac dyplomowych

Teksty humanistyczne

Pinned Loading

  1. Typonomikon Public

    Źródła mojej książki o Coqu, programowaniu funkcyjnym, teorii typów, logice konstruktywnej i innych takich.

    Coq 11

  2. Type-Theory-Wishlist Public

    Personal research notes

    Coq 14

  3. coq-mtl Public

    An mtl-like library for dealing with effects in Coq

    Coq 2 1

  4. coq-algs Public

    Formally verified algorithms in Coq: concepts and techniques

    Coq 2 1

  5. CoqCat Public

    Formalization of Category Theory in Coq.

    Coq 4 3

  6. runtimeverification/vlsm Public

    Coq 3 2

210 contributions in the last year

Contribution Graph
Day of Week February March April May June July August September October November December January February
Sunday
Monday
Tuesday
Wednesday
Thursday
Friday
Saturday
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More

Contribution activity

February 2025

Created 2 commits in 1 repository
9 contributions in private repositories Feb 1 – Feb 13
Loading

Seeing something unexpected? Take a look at the GitHub profile guide.