Piyush P Kurur (@piyush-kurur)
github

piyush-kurur

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    30
  • Global Rank 491,990 (Top 17 %)
  • Followers 70
  • Registered over 13 years ago
  • Most used languages
    Agda     50.0 %
    Haskell
         50.0 %
  • Location 🇮🇳 India
  • Country Total Rank 18,866
  • Country Ranking
    Agda     1
    Haskell
         26

Top repositories

1

yesod-admin

Abandoned: An yesod based admin for persistent objects
Haskell
16
star
2

funda

FUNctional DAtabase
3
star
3

hackers-revenge

Surviving tasteless, mindless "input forms" one org file at a time.
2
star
4

sample-code

This repository contains a collection of sample programms in various languages mainly to serve as illustrations
Agda
2
star
5

hott

My experiments with HoTT
Agda
2
star
6

ghc-staticptr-experiments

Experimental code that checks some features of static ptr in GHC
Haskell
1
star