Juan Pedro Villa Isaza (@jpvillaisaza)
github

jpvillaisaza

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    48
  • Global Rank 351,264 (Top 13 %)
  • Followers 60
  • Following 42
  • Registered almost 14 years ago
  • Most used languages
    Haskell
         62.5 %
    TeX
         12.5 %
    HTML
         12.5 %
    Agda     12.5 %
  • Location πŸ‡¨πŸ‡΄ Colombia
  • Country Total Rank 523
  • Country Ranking
    Agda     2
    Haskell
         3
    TeX
         3
    HTML
         1,162

Top repositories

1

cain

Category theory applied to functional programming (undergraduate project)
TeX
29
star
2

abel

Category theory applied to functional programming
Agda
6
star
3

mailchimp-haskell

Haskell bindings for the Mailchimp API
Haskell
5
star
4

licensor

A license compatibility helper for Haskell
Haskell
3
star
5

pocket-haskell

Haskell bindings for the Pocket API
Haskell
2
star
6

money

Money in Haskell
Haskell
1
star
7

okasaki

Notes from Chris Okasaki's Purely Functional Data Structures
Haskell
1
star
8

trm

Current exchange rate from United States dollars (USD) to Colombian pesos (COP)
HTML
1
star