Piotr Jander (@PiotrJander)
github

PiotrJander

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    4
  • Global Rank 1,611,161 (Top 56 %)
  • Followers 13
  • Following 8
  • Registered about 10 years ago
  • Most used languages
    Haskell
         33.3 %
    Agda     33.3 %
    Java
         33.3 %
  • Location 🇵🇱 Poland
  • Country Total Rank 12,693
  • Country Ranking
    Agda     3
    Haskell
         167
    Java
         2,568

Top repositories

1

chess

Java
2
star
2

thesis

Agda
1
star
3

oplss-staton

Code accompanying Sam Staton's lecture at OPLSS 2019: https://www.cs.uoregon.edu/research/summerschool/summer19/topics.php
Haskell
1
star
4

shiny-ships

0
star