Piotr Polesiuk (@ppolesiuk)
github

ppolesiuk

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    20
  • Global Rank 640,821 (Top 23 %)
  • Followers 14
  • Following 2
  • Registered about 14 years ago
  • Most used languages
    F#
         33.3 %
    C
         33.3 %
    Coq     16.7 %
    TeX
         16.7 %
  • Location 🇵🇱 Poland
  • Country Total Rank 6,143
  • Country Ranking
    Coq     5
    F#
         33
    TeX
         41
    C
         819

Top repositories

1

type-systems-notes

Lecture notes for the Type Systems course given in Autumn 2023
TeX
11
star
2

trust

C
2
star
3

spica

Astrophotography image processing library
C
1
star
4

Majlor

Simple and light mail server
F#
1
star
5

psi

1
star
6

Parsor

Another parser combinator library for F#
F#
1
star
7

Mechanika-kwantowa

Rozwiązania list zadań z Mechaniki kwanotwej.
1
star
8

IxFree

A Coq library with shallow embedding of step-indexed domain specific logic
Coq
1
star